Decidability of MSO Theories of Tree Structures.

Angelo Montanari Gabriele Puppis

Published in: FSTTCS (2004)

Keyphrases

tree structures
tree structure
r tree
finite state
xml documents
structural features
b tree
regular expressions
query answering
phrase structure
index structure
spatial data
knowledge base
feature selection
tree patterns
data mining
database