Pages that link to "Item:Q975873"
From MaRDI portal
The following pages link to Reasoning about XML with temporal logics and automata (Q975873):
Displaying 5 items.
- Static analysis of XML security views and query rewriting (Q462481) (← links)
- XML schema, tree logic and sheaves automata (Q862561) (← links)
- Efficiently Deciding μ-Calculus with Converse over Finite Trees (Q2957698) (← links)
- A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints (Q3056917) (← links)
- (Q5101344) (← links)