Groups, Graphs, Languages, Automata, Games and Second-order Monadic Logic
Tullio Ceccherini-SilbersteinMichel CoornaertFrancesca FiorenziPaul E. SchuppPublished in: CoRR (2012)
Keyphrases
- expressive power
- monadic second order logic
- regular expressions
- regular path queries
- automata theoretic
- cellular automata
- video games
- higher order
- deductive databases
- modal logic
- graph databases
- language independent
- datalog queries
- logic programming
- finite state
- game theory
- game playing
- formal languages
- graph theory
- formal language
- context free
- formal language theory
- finite state automata
- computer games
- regular languages
- datalog programs
- nash equilibria
- computer programs
- game theoretic
- graph matching
- cross lingual
- predicate logic
- first order logic
- nash equilibrium