Login / Signup
Acyclic Constraint Logic and Games.
Hendrik Jan Hoogeboom
Walter A. Kosters
Jan N. van Rijn
Jonathan K. Vis
Published in:
CoRR (2016)
Keyphrases
</>
modal logic
winning strategy
logic programming
automated reasoning
predicate logic
nash equilibria
game design
computer games
classical logic
database schemes
nash equilibrium
game theoretic
database
online game
game tree
digital games
game theory
game development
np complete
proof theory
np hard