The following pages link to (Q674266):
Displaying 30 items.
- 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)
