Similar Items: Data optimizations for constraint automata
- Visibly Tree Automata with Memory and Constraints
- Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
- Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
- Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories
- An extension of data automata that captures XPath
- Bottom-up automata on data trees and vertical XPath