Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: Z

Number of items: 1.

Z

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)

This list was generated on Wed Apr 24 22:36:17 2024 BST.