Keyphrases
- formal language
- algebraic structure
- database query languages
- formal semantics
- video games
- game play
- game playing
- game theoretic
- relational calculus
- virtual world
- game design
- computer games
- nash equilibrium
- nash equilibria
- process algebra
- game development
- game theory
- game players
- optimal strategy
- proof theoretic
- operational semantics
- educational games
- semantic information