Computability by monadic second-order logic.

Joost Engelfriet

Published in: Inf. Process. Lett. (2021)

Keyphrases

monadic second order logic
expressive power
data complexity
regular expressions
tree automata
first order logic
query language
query answering
pattern matching
expert systems
data model
hidden markov models
np complete
finite automata