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: Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'97, Murray Hill, NJ, USA, 19/08/1997, Murray Hill NJ , ETATS-UNIS . (Full text available)
[img]
Preview
[img]
Preview

Zammit, Vincent (1996) A Mechanisation of Computability Theory in HOL. In: Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics. (Full text available)
[img]
Preview
[img]
Preview

Camilleri, Juanito and Zammit, Vincent (1994) Symbolic Animation as a Proof Tool. In: Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications, Valletta, Malta. (The full text of this publication is not available from this repository)

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 Mon Sep 1 13:02:52 2014 BST.