Textbook examples of recursion
Computational Complexity
2008-02-03 v1
Abstract
We 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.
Cite
@article{arxiv.cs/9301113,
title = {Textbook examples of recursion},
author = {Donald E. Knuth},
journal= {arXiv preprint arXiv:cs/9301113},
year = {2008}
}