The first order definability of graphs with separators via the Ehrenfeucht game.
Oleg VerbitskyPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- finite model theory
- higher order
- computer games
- video games
- first order logic
- game theory
- nash equilibrium
- virtual world
- fixed point
- graph theory
- game playing
- serious games
- propositional logic
- graph matching
- mazurkiewicz traces
- game play
- horn clauses
- graph representation
- game theoretic
- perfect information
- database theory
- educational games
- undirected graph
- graph databases
- game design
- graph model
- bipartite graph
- logic programs
- graphical models