Pages that link to "Item:Q477204"

The following pages link to The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204):

Displaying 12 items.

• The modal mu-calculus alternation hierarchy is strict (Q1276239) (← links)
• A focus system for the alternation-free \(\mu \)-calculus (Q2142090) (← links)
• Mu-depth 3 is more than 2: A game-theoretic proof (Q2719798) (← links)
• On modal \(\mu \)-calculus over finite graphs with small components or small tree width (Q2909221) (← links)
• The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems (Q3655261) (← links)
• (Q4415259) (← links)
• (Q5014446) (← links)
• (Q5015272) (← links)
• $$\mu $$ μ -Levels of Interpolation (Q5214736) (← links)
• STACS 2004 (Q5309728) (← links)
• The modal mu-calculus alternation hierarchy is strict (Q6104376) (← links)
• The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744) (← links)