A Mechanisation of Computability Theory in HOL (1996)
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 |
