Login / Signup
Sequentiality, Second Order Monadic Logic and Tree Automata
Hubert Comon
Published in:
LICS (1995)
Keyphrases
</>
monadic second order logic
tree automata
regular expressions
expressive power
finite automata
finite state
data complexity
first order logic
finite automaton
syntactic pattern recognition
tree languages
pattern matching
database
low level
query language
matching algorithm