The First-Order Theory of Ground Tree Rewrite Graphs

Stefan Göller Markus Lohrey

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

spanning tree
first order logic
tree structure
graph structure
higher order
theoretical framework
graph model
reachability queries
data structure
data model
directed graph
weighted graph
graph representation
tree structures
maximal cliques