Iterated Limiting Recursion and the Program Minimization Problem
- 1 July 1974
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 21 (3), 436-445
- https://doi.org/10.1145/321832.321841
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Computational Complexity and Probability ConstructionsJournal of the ACM, 1970
- On the difficulty of computationsIEEE Transactions on Information Theory, 1970
- On the problem of finding minimal programs for tablesInformation and Control, 1969
- Trial and error predicates and the solution to a problem of MostowskiThe Journal of Symbolic Logic, 1965
- Limiting recursionThe Journal of Symbolic Logic, 1965
- A formal theory of inductive inference. Part IInformation and Control, 1964