On Formalisms for Turing Machinesby Patrick C. Fischer;The Solvability of the Halting Problem for 2-State Post Machinesby Stål Aanderaa; Patrick C. Fischer;Quantificational Variants on the Halting Problem for Turing Machinesby Patrick C. Fischer

✍ Scribed by Review by: Gabor T. Herman

• Book ID: 124971749
• Publisher: Association for Symbolic Logic
• Year: 1971
• Tongue: English
• Weight: 453 KB
• Volume: 36
• Category: Article
• ISSN: 0022-4812
• DOI: 10.2307/2269989