Iterated Limiting Recursion and the Program Minimization Problem
From MaRDI portal
Publication:4122796
DOI10.1145/321832.321841zbMath0352.68060OpenAlexW2080256244WikidataQ55968653 ScholiaQ55968653MaRDI QIDQ4122796
Publication date: 1974
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321832.321841
Analysis of algorithms and problem complexity (68Q25) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items
Computation as an unbounded process ⋮ A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) ⋮ On the inference of optimal descriptions ⋮ Toward the interpretation of non-constructive reasoning as non-monotonic learning ⋮ Unnamed Item