Computing with infinitary logic
- 作者Serge Abiteboul; Moshe Y. Vardi; Victor Vianu
- 卷第149卷
- 期第1期
- 印刷ISSN0304-3975
- 文件大小1865.77KB
- 发表时间1995
- DOI10.1016/0304-3975(95)00027-t
- 页码101-128
同作者推荐
Unbounded knapsack problem: Dynamic programming revisitedR. Andonov; V. Poirriez; S. Rajopadhye · 2000
[IEEE Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - Koblenz, Germany (2005.09.7-2005.09.9)] Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) - BRILLANT: an open source and XML-based platform for rigourous software developmentColin, S.; Petit, D.; Rocheteau, J.; Marcano, R.; Mariano, G.; Poirriez, V. · 2005