Similar Items: Axiomatizing Hybrid XPath with Data
- An extension of data automata that captures XPath
- Bottom-up automata on data trees and vertical XPath
- On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
- A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
- An Axiomatic Definition of Hierarchical Clustering
- Axiomatizing Maximal Progress and Discrete Time