Monadic Second Order Logic, Tree Automata and Forbidden Minors.

Stefan Arnborg Andrzej Proskurowski Detlef Seese

Published in: CSL (1990)

Keyphrases

tree automata
monadic second order logic
regular expressions
finite automata
finite state
tree languages
finite automaton
context free grammars
databases
artificial intelligence
information extraction
pattern matching
data complexity