Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
1997
Zammit, Vincent (1997) A Comparative Study of Coq and HOL. In: Gunter, Elsa. L and Felty, Amy, eds. Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'97, Murray Hill, NJ, USA. Lecture Notes in Computer Science, 1275. Springer pp. 323-337. ISBN 3-540-63379-0. (Full text available) |