Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Alton, D.A., Non-existence of Program Optimizers in Several Abstract settings. J. Comp. System Sci. 12, 1976, 368–393
2. Blum, M., Machine Independent Theory of Complexity of Recursive Functions. J. ACM 14, 1967, 322–336
3. Blum, L. and M. Blum, Toward a Mathematical Theory Of Inductive Inference. Inf. and Control 28, 1975, 122–155
4. Freivalds, R., Private Communication
5. Helm, J., P., On Effectively Computable Operators. ZML 17, 1971, 231–244