Textbook examples of recursion

Preprint

1 August 1991

preprint
Published by arXiv in arXiv

https://doi.org/10.48550/arXiv.cs/9301113

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.

Keywords

MACHINE VERIFICATION
RECURSIVE SCHEMAS
TAKEUCHI'S TRIPLE
TEXTBOOK EXAMPLES
TRIPLE RECURSION
SCHEMAS RELATED
VERIFICATION
MCCARTHY'S

All Related Versions

Version 1, 1991-08-01, ArXiv

This publication has 0 references indexed in Scilit: