Similar Items: The Power-Set Construction for Tree Algebras
- Regular Tree Algebras
- Overlap Algebras: a Constructive Look at Complete Boolean Algebras
- Algebraic and logical descriptions of generalized trees
- Initial Algebra Semantics for Cyclic Sharing Tree Structures
- Wreath Products of Forest Algebras, with Applications to Tree Logics
- Distribution Bisimilarity via the Power of Convex Algebras