Pages that link to "Item:Q4593954"
From MaRDI portal
The following pages link to On the expressivity of the modal mu-calculus (Q4593954):
Displaying 5 items.
- The modal mu-calculus alternation hierarchy is strict (Q1276239) (← links)
- Mu-depth 3 is more than 2: a game-theoretic proof (Q2719798) (← links)
- Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting (Q2866731) (← links)
- EXPTIME Tableaux for the Coalgebraic μ-Calculus (Q3644748) (← links)
- Fixpoint alternation: arithmetic, transition systems, and the binary tree (Q4943547) (← links)
