Vincent Zammit

According to our database, Vincent Zammit authored at least 5 papers between 1994 and 1999.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1999

On the readability of machine checkable formal proofs.

Vincent Zammit

PhD thesis, 1999

On the Implementation of an Extensible Declarative Proof Language.

Vincent Zammit

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1997

A Comparative Study of Coq and HOL.

Vincent Zammit

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

1996

A Mechanisation of Computability Theory in HOL.

Vincent Zammit

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1994

Symbolic Animation as a Proof Tool.

Juanito Camilleri, Vincent Zammit

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994