The First-Order Theory of Ground Tree Rewrite Graphs.

Stefan Göller Markus Lohrey

Published in: FSTTCS (2011)

Keyphrases

spanning tree
minimum spanning tree
theoretical framework
first order logic
graph theory
social networks
higher order
directed graph
graph matching
np complete
hierarchical structure
graph structure
graph databases
maximal cliques