The following pages link to STACS 2005 (Q5710722):
Displaying 4 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- The variable hierarchy of the \(\mu\)-calculus is strict (Q2643142) (← links)
- The modal<i>μ</i>-calculus hierarchy over restricted classes of transition systems (Q3655261) (← links)
- Undirected Graphs of Entanglement 2 (Q5458861) (← links)