Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic.

Published in: STACS (2008)

Keyphrases

monadic second order logic
expressive power
regular expressions
data complexity
tree automata
first order logic
high level
learning algorithm
natural language
information extraction
query answering
finite automata