Pages that link to "Item:Q5505545"
From MaRDI portal
The following pages link to Reasoning about XML with Temporal Logics and Automata (Q5505545):
Displayed 4 items.
- Static analysis of XML security views and query rewriting (Q462481) (← links)
- Reasoning about XML with temporal logics and automata (Q975873) (← links)
- Efficiently Deciding μ-Calculus with Converse over Finite Trees (Q2957698) (← links)
- Limiting Until in Ordered Tree Query Languages (Q5277915) (← links)