The following pages link to Edsger W. Dijkstra (Q6481523):
Displaying 1 item.
- (Q674266) (redirect page) (← links)
- A note on two problems in connexion with graphs (Q78129) (← links)
- Heuristics for a calculational proof (Q674267) (← links)
- Making a fair roulette from a possibly biased coin (Q756240) (← links)
- Recursive programming (Q772328) (← links)
- (Q1071497) (redirect page) (← links)
- On a cultural gap (Q1071498) (← links)
- A simple fixpoint argument without the restriction to continuity (Q1075045) (← links)
- A belated proof of self-stabilization (Q1083187) (← links)
- A heuristic explanation of Batcher's baffler (Q1102117) (← links)
- On binary operators and their derived relations (Q1110554) (← links)
- Some beautiful arguments using mathematical induction (Q1140430) (← links)
- Termination detection for diffusing computations (Q1142590) (← links)
- Smoothsort, an alternative for sorting in situ (Q1165006) (← links)
- An introduction to three algorithms for sorting in situ (Q1167544) (← links)
- On a gauntlet thrown by David Gries (Q1227620) (← links)
- In memoriam: Jan L. A. van de Snepscheut (Q1333409) (← links)
- EWD1300: The notational conventions I adopted, and why (Q1402465) (← links)
- Under the spell of Leibniz's dream (Q1607081) (← links)
- Derivation of a termination detection algorithm for distributed computations (Q2216413) (← links)
- Designing a Calculational Proof of Cantor's Theorem (Q2730836) (← links)
- (Q3228936) (← links)
- (Q3238692) (← links)
- A Method to Investigate Primality (Q3245553) (← links)
- (Q3270311) (← links)
- Operating Experience with ALGOL 60 (Q3281419) (← links)
- (Q3289543) (← links)
- (Q3290122) (← links)
- (Q3309767) (← links)
- (Q3315934) (← links)
- Invariance and non-determinacy (Q3334052) (← links)
- (Q3673121) (← links)
- (Q3681916) (← links)
- (Q3686018) (← links)
- (Q3719822) (← links)
- (Q3782799) (← links)
- (Q3801052) (← links)
- (Q3851610) (← links)
- (Q3851611) (← links)
- (Q3851613) (← links)
- (Q3867160) (← links)
- (Q3867841) (← links)
- (Q3907044) (← links)
- (Q3907045) (← links)
- (Q3907048) (← links)
- (Q3907049) (← links)
- (Q3954792) (← links)
- (Q3954829) (← links)
- (Q3962450) (← links)
- (Q3994464) (← links)
- Self-stabilizing systems in spite of distributed control (Q4061976) (← links)
- Guarded commands, nondeterminacy and formal derivation of programs (Q4066568) (← links)
- (Q4114747) (← links)
- (Q4117362) (← links)
- (Q4118827) (← links)
- (Q4144755) (← links)
- (Q4178451) (← links)
- (Q4178457) (← links)
- (Q4181248) (← links)
- (Q4263942) (← links)
- (Q4281658) (← links)
- (Q4380140) (← links)
- (Q4403707) (← links)
- (Q4692630) (← links)
- Programming as a Discipline of Mathematical Nature (Q4773988) (← links)
- (Q4885863) (← links)
- (Q4885864) (← links)
- (Q4885865) (← links)
- (Q4885866) (← links)
- (Q4885867) (← links)
- (Q4885868) (← links)
- (Q4885869) (← links)
- (Q4885870) (← links)
- (Q4934625) (← links)
- (Q4934626) (← links)
- (Q5075284) (← links)
- (Q5075287) (← links)
- (Q5075288) (← links)
- (Q5339778) (← links)
- (Q5509953) (← links)
- The structure of the “THE”-multiprogramming system (Q5548674) (← links)
- A constructive approach to the problem of program correctness (Q5554728) (← links)
- (Q5684216) (← links)
- Letter to the editor (Q5896046) (← links)
