Mathematics of Computation · 1970 · 385 citations · 0 references
ComputingComputer ScienceMathematicsAlgorithmsFormal MethodsTheory Of ComputationGraph AlgorithmsGraph TheoryNode-link DiagramsProof ComplexityProof TheoryTheorem ProvingAlgebraic Graph TheoryAlgorithmic Graph TheoryCombinatorial Proof TechniquesCombinatorial ProofsInductive Proof Techniques