A Mechanisation of Computability Theory in HOL (1996)

Cached

Download Links

by Vincent Zammit
Venue:In Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
Citations:1 - 1 self

Document Versions

A Mechanisation of Computability Theory in HOL –Vincent Zammit — 1996 — In Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics