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

Group by: Item Type | Date | No Grouping

Jump to: Monograph | Conference or workshop item | Thesis

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

Preview

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 .

Preview

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.

Preview

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. PhD thesis, UNSPECIFIED.

Preview

Preview

This list was generated on Tue May 21 01:14:53 2013 BST.