C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Where First-Order and Monadic Second-Order Logic Coincide
Michael Elberfeld
Martin Grohe
Till Tantau
Published in:
CoRR (2012)
Keyphrases
</>
monadic second order logic
first order logic
expressive power
higher order
knowledge representation
regular expressions
data complexity
tree automata
query language
machine learning
expert systems
data sets