Uncomputability Below the Real Halting Problem
K. Meer, M. Ziegler, in: Logical Approaches to Computational Barriers, Berlin, Heidelberg, 2006.
LibreCat: /record/17987
DOI: 10.1007/11780342_39