Deciding first-order properties of locally tree-decomposable structures

Markus Frick Martin Grohe

Published in: CoRR (2000)

Keyphrases

tree structure
desirable properties
tree structures
convex constraints
higher order
neural network
search algorithm
spatial structure
association rules
xml documents
hierarchical structure
spanning tree
structural features
tree search
tree models