6533b7d4fe1ef96bd1262703

RESEARCH PRODUCT

An algorithm for the solution of tree equations

Sabrina MantaciDaniele Micciancio

subject

CombinatoricsMorphismBinary treeBranch and boundSearch algorithmTree (set theory)Function (mathematics)ArityComputer Science::Information TheoryMathematicsEquation solving

description

We consider the problem of solving equations over k-ary trees. Here an equation is a pair of labeled α-ary trees, where α is a function associating an arity to each label. A solution to an equation is a morphism from α-ary trees to k-ary trees that maps the left and right hand side of the equation to the same k-ary tree.

yearjournalcountryeditionlanguage
1997-01-01
https://doi.org/10.1007/bfb0030615