Computability by Monadic Second-Order Logic.

Joost Engelfriet

Published in: CoRR (2020)

Keyphrases

monadic second order logic
expressive power
data complexity
regular expressions
first order logic
tree automata
query language
query answering
sufficient conditions
business intelligence
pattern matching
conjunctive queries
context free grammars