Characterizations for \(\mathrm{XPath}_{\mathcal{R}}(\downarrow)\)

DOI10.1007/978-3-030-88853-4_20OpenAlexW3204058141MaRDI QIDQ2148804

Sergio Abriola, Nicolas Gonzalez

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88853-4_20

zbMATH Keywords

characterizationbisimulationXPathdata logics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Uses Software

• XPath

Cites Work

• Unnamed Item
• Model theory of XPath on data trees. II: Binary bisimulation and definability
• Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization
• Two-variable logic on data trees and XML reasoning

This page was built for publication: Characterizations for \(\mathrm{XPath}_{\mathcal{R}}(\downarrow)\)