Minsky Machines

MaRDI QIDQ7361193FDO

Authors Bertram Felgenhauer

Publication date 14 August 2018

Cites work

• Extensions of some theorems of Gödel and Church.
• Unnamed Publication
• Undecidability and recursive inseparability

This page was built for software: Minsky Machines