Login / Signup
Realizability for Peano arithmetic with winning conditions in HON games.
Valentin Blot
Published in:
Ann. Pure Appl. Log. (2017)
Keyphrases
</>
sufficient conditions
neural network
game theory
game theoretic
arithmetic operations
human players
computer games
imperfect information
database
case study
video games
educational games
game play
learning agents
pure nash equilibria