✦ LIBER ✦

The category-theoretic solution of recursive program schemes

✍ Scribed by Stefan Milius; Lawrence S. Moss

Book ID: 108281220
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 709 KB
Volume: 366
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.07.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Syntactic properties of recursive progra

Syntactic properties of recursive program schemes

✍ A. V. Anisimov 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 862 KB

On the stability of solutions under recu

On the stability of solutions under recursive programming

✍ J. K. Sengupta; G. Tintner 📂 Article 📅 1966 🏛 Springer 🌐 English ⚖ 939 KB

Another simplification of the recursion

Another simplification of the recursion scheme

✍ Georgieva, N. 📂 Article 📅 1977 🏛 Springer-Verlag ⚖ 125 KB

A certain technique for the recursive so

A certain technique for the recursive solution of the concave-programming problem

✍ I. M. Putsima 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 172 KB

The tree equivalence of linear recursion

The tree equivalence of linear recursion schemes

✍ V. Sabelfeld 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 206 KB

In the paper, a complete system of transformation rules preserving the tree equivalence and a polynomial-time algorithm deciding the tree equivalence of linear polyadic recursion schemes are proposed. The algorithm is formulated as a sequential transformation process which brings together the scheme

Monadic recursion schemes: The effect of

Monadic recursion schemes: The effect of constants

✍ Emily P. Friedman; Sheila A. Greibach 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 813 KB