Realizability for Peano Arithmetic with Winning Conditions in HON Games.

Published in: TLCA (2013)

Keyphrases

sufficient conditions
game theory
computer games
nash equilibrium
real time
neural network
video games
floating point
search engine
decision making
game playing
arithmetic operations
learning games
perfect information
weighted majority