Characterizations for XPath_R()

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

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)

Cites Work

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

Uses Software

• XPath

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2148804)