The halting problem for Turning machines

• 1 March 1986
• journal article
• Published by Association for Computing Machinery (ACM) in ACM SIGACT News
• Vol. 18  (1) , 52
• https://doi.org/10.1145/8312.8315

Abstract