Proof — Dijkstra's algorithm

Statement

Shortest path algorithm; structured programming; semaphores. Proved in ZFC.

Source

ACM Turing Award 1972. Shortest path algorithm; structured programming; semaphores. Proved in ZFC.

Domains

computer-science

People

• Edsger W. Dijkstra

Related

• Theorem: Dijkstra's algorithm
• Proof: Dijkstra's algorithm

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People