A mechanisation of computability theory in HOL
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 431-446
- https://doi.org/10.1007/bfb0105420
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The Alf proof editor and its proof enginePublished by Springer Nature ,1994
- Specifying instruction-set architectures in HOL: A primerPublished by Springer Nature ,1994
- Symbolic animation as a proof toolPublished by Springer Nature ,1994
- Logic and ComputationPublished by Cambridge University Press (CUP) ,1987
- ComputabilityPublished by Cambridge University Press (CUP) ,1980