Reasoning about XML with Temporal Logics and Automata

DOI10.1007/978-3-540-89439-1_7MaRDI QIDQ5505545zbMATH OpenOpenAlexFDO

Authors Cristina Sirangelo, Leonid Libkin

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/17832666/Libkin_Sirangelo_2008_Reasoning_about_XML_with_Temporal_Logics_and_Automate.pdf

zbMATH Keywords

query automatastatic analysistemporal logicsXML

Mathematics Subject Classification ID

Temporal logic (03B44) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Reasoning about XML with temporal logics and automata
• scientific article; zbMATH DE number 1948151
• scientific article; zbMATH DE number 2043533
• XML schema, tree logic and sheaves automata
• Two-variable logic on data trees and XML reasoning

Cited in

(7)

• Efficiently deciding -calculus with converse over finite trees
• A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints
• Static analysis of XML security views and query rewriting
• Limiting Until in ordered tree query languages
• XML schema, tree logic and sheaves automata
• Automata for XML -- a survey
• Reasoning about XML with temporal logics and automata

This page was built for publication: Reasoning about XML with Temporal Logics and Automata

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