The following pages link to (Q5753528):
Displaying 5 items.
- Logical definability of fixed points (Q1114673) (← links)
- The modal mu-calculus alternation hierarchy is strict (Q1276239) (← links)
- On modal mu-calculus and Büchi tree automata (Q1349728) (← links)
- The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees (Q4943546) (← links)
- The modal mu-calculus alternation hierarchy is strict (Q6104376) (← links)