๐”– Bobbio Scriptorium
โœฆ   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

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