Login / Signup
On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus.
David Janin
Giacomo Lenzi
Published in:
Fundam. Informaticae (2004)
Keyphrases
</>
monadic second order logic
expressive power
tree automata
data complexity
regular expressions
first order logic
query language
finite automata
finite state
query answering
pattern matching
conjunctive queries
query evaluation
expert systems
decision trees
databases
context free grammars
hidden markov models