Pages that link to "Item:Q4982126"
From MaRDI portal
The following pages link to The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments (Q4982126):
Displayed 5 items.
- On the applicability of Post's lattice (Q436335) (← links)
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- Weak Kripke Structures and LTL (Q3090846) (← links)
- The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)