Login / Signup
Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic.
Dietrich Kuske
Published in:
Algorithmic-Logical Theory of Infinite Structures (2007)
Keyphrases
</>
monadic second order logic
expressive power
data complexity
first order logic
objective function
regular expressions
tree automata
query language
machine learning
context sensitive