Textbook Examples of Recursion

Publisher Website

1 January 1991

book chapter
Published by Elsevier

p. 207-229
https://doi.org/10.1016/b978-0-12-450010-5.50018-9

Abstract

No abstract available

All Related Versions

Version 1, 1991-08-01, ArXiv (Unconfirmed version)

This publication has 6 references indexed in Scilit:

A short proof of Darboux's lemma
Applied Mathematics Letters, 1989
An interesting LISP function
ACM Lisp Bulletin, 1979
A mechanical proof of the termination of Takeuchi's function
Information Processing Letters, 1979
Mechanical program analysis
Communications of the ACM, 1975
Correct and optimal implementations of recursion in a simple programming language
Published by Association for Computing Machinery (ACM) ,1973
Formalization of Properties of Functional Programs
Journal of the ACM, 1970