Textbook examples of recursion

Simple item page
dc.creatorKnuth, Donald E.
dc.date1991-08-01
dc.date.accessioned2026-07-07T09:12:16Z
dc.date.available2026-07-07T09:12:16Z
dc.descriptionWe discuss properties of recursive schemas related to McCarthy's ``91 function'' and to Takeuchi's triple recursion. Several theorems are proposed as interesting candidates for machine verification, and some intriguing open questions are raised.
dc.identifierhttps://arxiv.org/abs/cs/9301113
dc.identifierhttp://arxiv.org/abs/cs/9301113
dc.identifierArtificial intelligence and mathematical theory of computation
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/151967
dc.subjectComputational Complexity
dc.titleTextbook examples of recursion
dc.typetext

Files

Collections

arXiv