The following pages link to (Q5005142):
Displaying 8 items.
- Derandomized parallel repetition theorems for free games (Q371195) (← links)
- Time-aware uniformization of winning strategies (Q2106605) (← links)
- A Mathematical Game Semantics of Concurrency and Nondeterminism (Q2787451) (← links)
- Sequentiality vs. concurrency in games and logic (Q4461213) (← links)
- (Q5089289) (← links)
- (Q5856414) (← links)
- (Q5875381) (← links)
- Recursive Concurrent Stochastic Games (Q5901535) (← links)