Pages that link to "Item:Q4812322"
From MaRDI portal
The following pages link to A Modal Perspective on Path Constraints (Q4812322):
Displayed 8 items.
- 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)
- 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) (← links)