Computability and incomputability in (2007)

by R I Soare
Venue:Proceedings of the 3rd CiE, LNCS 4497