Similar Items: Containment for Conditional Tree Patterns
- Quantified Constraints and Containment Problems
- When is a container a comonad?
- Tree-Automatic Well-Founded Trees
- On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
- Representing Continuous Functions between Greatest Fixed Points of Indexed Containers
- Regular Tree Algebras