Indexing of subrecursive classes (1978)

by D Kozen
Venue:in Proc. 10th ACM Symposium on Theory of Computing (STOC’78), ACM