A mechanisation of computability theory in HOL

DOI10.1007/BFB0105420zbMATH Open1543.68427MaRDI QIDQ6567729

Vincent Zammit

Publication date: 5 July 2024

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20) Classical models of computation (Turing machines, etc.) (68Q04)

Cites Work

• Logic and Computation
• The Alf proof editor and its proof engine
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: A mechanisation of computability theory in HOL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6567729)