Another Proof of a Theorem Concerning Detachments of Graphs.

C. St. J. A. Nash-Williams

Published in: Eur. J. Comb. (1991)

Keyphrases

interactive theorem proving
graph matching
bipartite graph
graph theoretic
graph mining
graph theory
weighted graph
real time
directed graph
graph structure
graph databases
graph partitioning
data structure
graph clustering
graph structures
adjacency matrix
data sets