๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Another simplification of the recursion scheme

โœ Scribed by Georgieva, N.


Publisher
Springer-Verlag
Year
1977
Weight
125 KB
Volume
18
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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