Can I read Textbook Examples of Recursion on EtoBox?

Textbook Examples of Recursion by Knuth, Donald E. is a scholarly article available to read on EtoBox.

What is Textbook Examples of Recursion about?

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.

Author

Knuth, Donald E.

Published

1991

Language

EN