Keyphrases
- computer algebra
- natural deduction
- timed automata
- proof procedure
- formal language
- sequent calculus
- algebraic structure
- cellular automata
- modal logic
- automated theorem proving
- automata theoretic
- cut elimination
- game theory
- computer games
- video games
- game theoretic
- classical logic
- computational properties
- transition systems
- theorem proving
- multi valued
- logic programming
- linear time temporal logic
- lattice gas
- proof theoretic
- game design
- asynchronous circuits
- finite automata
- educational games
- proof search
- winning strategy
- inference rules
- game play
- linear logic
- coalitional games
- predicate logic
- tableau calculus
- game playing