Pages that link to "Item:Q3532457"
From MaRDI portal
The following pages link to Complexity and Succinctness Issues for Linear-Time Hybrid Logics (Q3532457):
Displayed 4 items.
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- Hybrid and First-Order Complete Extensions of CaRet (Q3010360) (← links)
- The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
- Complexity and Succinctness Issues for Linear-Time Hybrid Logics (Q3532457) (← links)