Vincent Zammit Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1999
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Zammit: On the Implementation of an Extensible Declarative Proof Language. TPHOLs 1999: 185-202
1997
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Zammit: A Comparative Study of Coq and HOL. TPHOLs 1997: 323-337
1996
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Zammit: A Mechanisation of Computability Theory in HOL. TPHOLs 1996: 431-446
1994
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juanito Camilleri, Vincent Zammit: Symbolic Animation as a Proof Tool. TPHOLs 1994: 113-127

Coauthor Index

1Juanito Camilleri
[c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 03:16:55 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page