Pages that link to "Item:Q4812322"
From MaRDI portal
The following pages link to A Modal Perspective on Path Constraints (Q4812322):
Displaying 11 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)
- PDL with intersection and converse: satisfiability and infinite-state model checking (Q3616354) (← links)
- PDL for ordered trees (Q3647225) (← links)
- Modal logics for reasoning about infinite unions and intersections of binary relations (Q4583172) (← links)
- 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) (← links)
- Databases and artificial intelligence (Q6602264) (← links)
