Browse by Journal
Jump to: 1996
Number of items: 1.
1996
Zammit, Vincent (1996) A Mechanisation of Computability Theory in HOL. In: von Wright, Joakim and Grundy, Jim and Harrison, John, eds. Theorem Proving in Higher Order Logics 9th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 431-446. ISBN 978-3-540-61587-3. E-ISBN 978-3-540-70641-0. (doi:10.1007/BFb0105420) (KAR id:21347) |