Pages that link to "Item:Q2770141"
From MaRDI portal
The following pages link to The alternation hierarchy for the theory of \(\mu\)-lattices (Q2770141):
Displaying 7 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Ambiguous classes in \(\mu\)-calculi hierarchies (Q1770419) (← links)
- From parity games to circular proofs (Q2842563) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- The<i>μ</i>-calculus alternation-depth hierarchy is strict on binary trees (Q4943546) (← links)
- The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744) (← links)