𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Reduction of the Recursion Scheme

✍ Scribed by M. D. Gladstone


Book ID
124959068
Publisher
Association for Symbolic Logic
Year
1968
Tongue
English
Weight
386 KB
Volume
32
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Simplifications of the Recursion Scheme
✍ M. D. Gladstone πŸ“‚ Article πŸ“… 1971 πŸ› Association for Symbolic Logic 🌐 English βš– 429 KB
The tree equivalence of linear recursion
✍ 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