Groups, graphs, languages, automata, games and second-order monadic logic.
Tullio Ceccherini-SilbersteinMichel CoornaertFrancesca FiorenziPaul E. SchuppPublished in: Eur. J. Comb. (2012)
Keyphrases
- expressive power
- monadic second order logic
- automata theoretic
- regular path queries
- cellular automata
- higher order
- language independent
- graph matching
- deductive databases
- finite automata
- graph databases
- formal language theory
- predicate logic
- computer games
- context free
- grammatical inference
- classical logic
- computer programs
- finite state
- graph theory
- formal languages
- highly expressive
- datalog queries
- finite state automata
- logic programming
- modal logic
- formal language
- game theoretic
- video games
- query containment
- game playing
- serious games
- cross lingual
- query language