The Solvability of the Halting Problem for 2-State Post Machines
Aanderaa, Stål, Fischer, Patrick C.Volume:
14
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/321420.321426
Date:
October, 1967
File:
PDF, 354 KB
english, 1967