X-Machines and the Halting Problem: Building a super-Turing Machine (1990)

by Mike Stannett
Venue:Formal Aspects of Computing