Pages that link to "Item:Q3647216"
From MaRDI portal
The following pages link to A first step towardsmodeling semistructured data in hybrid multimodal logic (Q3647216):
Displaying 6 items.
- Theorem prover approach to semistructured data design (Q609020) (← links)
- Model checking for hybrid logic (Q1047796) (← links)
- Path constraints in semistructured data (Q2456353) (← 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)