Where First-Order and Monadic Second-Order Logic Coincide.

Michael Elberfeld Martin Grohe Till Tantau

Published in: LICS (2012)

Keyphrases

monadic second order logic
first order logic
expressive power
regular expressions
machine learning
knowledge representation
higher order
data complexity
query language
artificial intelligence
domain knowledge
tree automata