The following pages link to (Q4222836):
Displaying 7 items.
- An approach to innocent strategies as graphs (Q418201) (← links)
- A game semantics for linear logic (Q1192350) (← links)
- (Q2762516) (← links)
- Evolving games and essential nets for affine polymorphism (Q2778832) (← links)
- A game semantics for proof search (preliminary results) (Q2852368) (← links)
- A symbolic finite-state approach for automated proving of theorems in combinatorial game theory (Q3600655) (← links)
- Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) (Q3613327) (← links)