Collapsible Pushdown Graphs of Level 2 are Tree-Automatic.
Alexander KartzowPublished in: STACS (2010)
Keyphrases
- minimum spanning trees
- graph structure
- spanning tree
- minimum spanning tree
- semi automatic
- levels of abstraction
- tree structure
- model checking
- graph clustering
- graph representation
- reachability queries
- data structure
- tree structured data
- binary tree
- graph theoretic
- weighted graph
- graph theory
- b tree
- index structure
- higher level