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: 5.

Monograph

Zammit, Vincent (1997) A Proof of the S-m-n theorem in Coq. Technical report. University of Kent, The University of Kent, Canterbury, Kent, UK (Full text available)
[img]
Preview
[img]
Preview

Conference or workshop item

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

Zammit, Vincent (1996) A Mechanisation of Computability Theory in HOL. In: von Wright, Joakim and Grundy, Jim and Harrison, John, eds. Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics. Lecture Notes in Computer Science, 1125. Springer-Verlag, Turku, Finland pp. 431-446. ISBN 3-540-61587-3. (Full text available)
[img]
Preview
[img]
Preview

Camilleri, Juanito and Zammit, Vincent (1994) Symbolic Animation as a Proof Tool. In: Melham, Thomas F. and Camilleri, Juanito, eds. Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta. Lecture Notes in Computer Science, 859. Springer-Verlag pp. 113-127. ISBN 3-540-58450-1. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thesis

Zammit, Vincent (1999) On the Readability of Machine Checkable Formal Proofs. Doctor of Philosophy (PhD) thesis, UNSPECIFIED. (Full text available)
[img]
Preview
[img]
Preview

This list was generated on Sun May 19 03:32:53 2019 BST.