A transitive closure algorithm
BIT Numerical Mathematics · 1970 · 114 citations · 6 references
Mathematical ProgrammingComputational Complexity TheoryEngineeringReachability ProblemTransitive Closure AlgorithmAlgorithm DesignFormal MethodsComputational ComplexityComputer ScienceCombinatorial Optimization
6
Stephen Warshall · Journal of the ACM · 1962
1.7K citations
The Art of Computer Programming, Vol. 2
Donald E. Knuth · Medical Entomology and Zoology · 1981
858 citations
Topological sorting of large networks
Arthur B. Kahn · Communications of the ACM · 1962
713 citations
EULER: A generalization of ALGOL and its formal definition: Part 1
Niklaus Wirth, Helmut Weber · Communications of the ACM · 1966
231 citations
Niklaus Wirth, Helmut Weber · Communications of the ACM · 1966
Rigorous FormalityProgramming Language TheoryUseful Programming Language+14
63 citations