Recursion Theory I

MaRDI QIDQ7361318FDO

Authors Michael Nedzelsky

Publication date 5 April 2008

Cites work

• Unnamed Publication
• Unnamed Publication
• Isabelle/HOL. A proof assistant for higher-order logic

Cited in

(1)

• Minsky Machines

This page was built for software: Recursion Theory I