The Equivalence Problem for Deterministic MSO Tree Transducers is Decidable

Joost Engelfriet Sebastian Maneth

Published in: CoRR (2005)

Keyphrases

monadic second order logic
tree automata
regular expressions
finite automata
expressive power
datalog programs
query containment
data complexity
finite state
first order logic
tree structure
binary tree
tree models
tree nodes
query language
b tree
bayesian networks
pattern matching
tree construction
multi dimensional