The following pages link to Games for the \(\mu\)-calculus (Q671352):
Displayed 6 items.
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) (← links)
- Pushdown processes: Games and model-checking (Q1854405) (← links)
- EXPTIME Tableaux for the Coalgebraic μ-Calculus (Q3644748) (← links)
- On global induction mechanisms in a<i>μ</i>-calculus with explicit approximations (Q4460690) (← links)
- Free \(\mu\)-lattices (Q5960406) (← links)