Pages that link to "Item:Q4812322"
From MaRDI portal
The following pages link to A Modal Perspective on Path Constraints (Q4812322):
Displaying 7 items.
- Static analysis of navigational XPath over graph databases (Q269725) (← links)
- Path constraints in semistructured data (Q2456353) (← links)
- Model checking hybrid logics (with an application to semistructured data) (Q2506828) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- An efficient approach to nominal equalities in hybrid logic tableaux (Q2901189) (← links)
- 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) (← links)
