Limiting Until in Ordered Tree Query Languages
From MaRDI portal
Publication:5277915
DOI10.1145/2856104zbMath1367.68083OpenAlexW2266126362MaRDI QIDQ5277915
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:ad100836-30c0-45ad-8f1a-052644a6fd93
Related Items
Uses Software
Cites Work
- Elements of finite model theory.
- Nesting until and since in linear temporal logic
- Counting on CTL\(^*\): On the expressive power of monadic path logic
- An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
- Database Theory - ICDT 2005
- Efficient and Expressive Tree Filters
- Reasoning about XML with Temporal Logics and Automata
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item