M.: Uncomputability Below the Real Halting Problem (2006)

by K Meer, Ziegler
Venue:CiE 2006. LNCS