Cutting up graphs revisited - a short proof of Stallings' structure theorem.

Published in: Groups Complex. Cryptol. (2010)

Keyphrases

graph structure
graph representation
interactive theorem proving
neural network
case study
graphical models
graph matching
structural properties
complex structures
data mining
information retrieval
multiscale
hierarchical structure
structural information
graph structures