The following pages link to (Q4490131):
Displaying 8 items.
- Games in the semantics of programming languages -- an elementary introduction (Q1868163) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- (Q2968408) (← links)
- Game Semantics for the Geiger-Paz-Pearl Axioms of Independence (Q3094009) (← links)
- (Q3329435) (← links)
- Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract) (Q3613327) (← links)
- (Q4222836) (← links)
- (Q4249025) (← links)