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

Published in: CoRR (2008)

Keyphrases

monadic second order logic
expressive power
tree automata
regular expressions
first order logic
data complexity
data mining
objective function
query language
database
lower bound
information extraction
np complete