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

The Power of Choice in the Construction of Recursive Trees

โœ Scribed by Hosam M. Mahmoud

Publisher
Springer US
Year
2009
Tongue
English
Weight
285 KB
Volume
12
Category
Article
ISSN
1387-5841

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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