Similar Items: Wreath Products of Forest Algebras, with Applications to Tree Logics
- Algebraic and logical descriptions of generalized trees
- Asynchronous wreath product and cascade decompositions for concurrent behaviours
- Regular Tree Algebras
- MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
- The Power-Set Construction for Tree Algebras
- Logical and Algebraic Characterizations of Rational Transductions