Definability for Downward and Vertical XPath on Data Trees

DOI10.1007/978-3-662-44145-9_2zbMath1317.68038OpenAlexW2185943205MaRDI QIDQ2938128

Santiago Figueira, Sergio Abriola, María Emilia Descotte

Publication date: 13 January 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44145-9_2

zbMATH Keywords

first-order logicultraproductbisimulationdefinabilitysaturationXPathdata tree

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05)

Related Items (3)

Axiomatizations for downward XPath on data trees ⋮ Hilbert-Style Axiomatization for Hybrid XPath with Data ⋮ Unnamed Item

Uses Software

• XPath

This page was built for publication: Definability for Downward and Vertical XPath on Data Trees