The following pages link to Sebastian Muskalla (Q4636590):
Displayed 6 items.
- Summaries for Context-Free Games (Q4636591) (← links)
- Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems (Q5005159) (← links)
- Bounded Context Switching for Valence Systems (Q5009426) (← links)
- (Q5009453) (← links)
- (Q5111264) (← links)
- Domains for Higher-Order Games (Q5111275) (← links)