Indexing of subrecursive classes (1980)

by D Kozen
Venue:Theoretical Computer Science