View of Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization

Return to Article Details Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization Download Download PDF