Sign in
Realizability for Peano Arithmetic with Winning Conditions in HON Games.
Valentin Blot
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