The following pages link to (Q4251067):
Displayed 11 items.
- Model-checking process equivalences (Q477208) (← links)
- Propositional dynamic logic of context-free programs and fixpoint logic with chop (Q845832) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Temporal logic with recursion (Q2051830) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- The alternation hierarchy in fixpoint logic with chop is strict too (Q2509356) (← links)
- Alternating Context-Free Languages and Linear Time μ-Calculus with Sequential Composition (Q2842604) (← links)
- Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic (Q3498457) (← links)
- Three notes on the complexity of model checking fixpoint logic with chop (Q5441546) (← links)
- Temporal Logic with Recursion. (Q6060093) (← links)