On approximating real-world halting problems (2005)

by S Köhler, C Schindelhauer, M Ziegler
Venue:In Fundamentals of computation theory (eds M. Liskiewicz & R. Reischuk). Lecture Notes in Computer Science