Collapsible Pushdown Graphs of Level 2 are Tree-Automatic

Alexander Kartzow

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

Keyphrases

spanning tree
levels of abstraction
minimum spanning trees
graph representation
fully automatic
graph model
semi automatic
graph theoretic
binary tree
subgraph isomorphism
tree structured data
graph theory
model checking
social networks
minimum spanning tree
graph clustering
tree structure