Reasoning about XML with Temporal Logics and Automata
From MaRDI portal
Publication:5505545
DOI10.1007/978-3-540-89439-1_7zbMath1182.68123MaRDI QIDQ5505545
Cristina Sirangelo, Leonid O. 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
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Related Items
Limiting Until in Ordered Tree Query Languages, Static analysis of XML security views and query rewriting, Reasoning about XML with temporal logics and automata, Efficiently Deciding μ-Calculus with Converse over Finite Trees