Resource-bounded genericity (1996)

by K Ambos-Spies
Venue:Computability, Enumerability, Unsolvability. Directions in Recursion Theory, volume 224 of London Mathematical Society Lecture Notes