Pages that link to "Item:Q2867946"
From MaRDI portal
The following pages link to Undecidability of Multi-modal Hybrid Logics (Q2867946):
Displayed 4 items.
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- Undecidability of Multi-modal Hybrid Logics (Q2867946) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)