Speed-up theorems and incompleteness theorems (1966)

by M A Arbib
Venue:In Automata Theory, E. R. Cainiello (Ed