Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
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)
[img]
Preview
[img]
Preview

This list was generated on Wed May 8 04:55:28 2019 BST.