Trees, grids, and MSO decidability: From graphs to matroids.

Petr Hlinený Detlef Seese

Published in: Theor. Comput. Sci. (2006)

Keyphrases

independent set
tree automata
decision trees
regular expressions
description logics
graph databases
graph matching
graph representation
graph theoretic
tree structure
tree structured data
weighted graph
grid computing
query answering
graph theory
spanning tree
tree patterns
decision procedures
directed graph