A Mechanisation of Computability Theory in HOL (1996)

View PDF

Download Links

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