Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Bar-Hillel, Y., Perlis, M., Shamir, E.: On formal properties of simple phrase structure grammars. Z. Phonetik, Sprachwissen. Komm. 14, 143–172 (1961)
2. Blum, M.: A machine-independent theory of the complexity of recursive functions. J. Assoc. Comput. Mach. 14(2), 322–336 (1967)
3. Blum, M.: On effective procedures for speeding up algorithms. J. Assoc. Comput. Mach. 18(2), 290–305 (1971)
4. Borodin, A.B.: Computational complexity and the existence of complexity gaps. J. Assoc. Comput. Mach. 19(1), 158–174 (1972)
5. Cocke, J., Schwartz, J.T.: Programming languages and their compilers: Preliminary notes. Tech. rep., Courant Institute (1970)