Stål Aanderaa
Stål Aanderaa and Patrick C. Fischer.
The solvability of the halting problem for 2-state Post machines.
Journal of the ACM
, 14(4):677-682, October 1967.
References.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database