A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game.

Masahiro Hamano Mitsuhiro Okada

Published in: Math. Log. Q. (1997)

Keyphrases

computer games
video games
game theory
game design
nash equilibrium
game play
game theoretic
serious games
game playing
nash equilibria
perfect information
mobile games
monte carlo tree search
pursuit evasion
virtual world
game based learning
linear logic
real time strategy games
cut elimination