**EWD number** |
**Size (KB)** |
**Title** |

**900** |
120 |
Minsegsumtwodim |

**900a** |
193 |
Minsegsumtwodim |

**901** |
319 |
A simple fix-point argument without the restriction to continuity (with A.J.M. van Gasteren) |

**901a** |
305 |
A simple fix-point argument without the restriction to continuity (with A.J.M. van Gasteren) |

**902** |
136 |
The regularity calculus: a second trial |

**903** |
33 |
A short sequel to EWD863 |

**904** |
58 |
A problem solved by my nephew Sybrand L. Dijkstra |

**905** |
1346 |
Mainly on our use of the predicate calculus (Draft Ch.2) |

**906** |
277 |
Trip report E.W.Dijkstra, Nuenen & London, 10 Dec.'84 - 10 Jan.'85 |

**907** |
194 |
Trip report E.W.Dijkstra, Netherlands, Austria, 23-31 Jan. 1985 |

**908** |
770 |
Predicate transformers (Draft Ch.3) |

**909** |
121 |
Trip report E.W.Dijkstra, Westboro-Boston, 14-17 Feb. 1985 |

**910** |
664 |
Semantics of straight-line programs (Draft Chap.4) |

**911** |
139 |
Trip report E.W.Dijkstra, Tulsa, 1-6 March 1985 |

**912** |
579 |
Extreme solutions of equations (Draft Ch.5) |

**913** |
421 |
On a cultural gap (Draft) |

**914** |
465 |
The repetition (Draft Ch.6) |

**915** |
308 |
A sequel to EWD912, i.e. to Draft Ch.5 |

**916** |
40 |
An improvement on EWD912 |

**917** |
123 |
Another misguided effort |

**918** |
372 |
A summary of a year's impressions |

**920** |
261 |
Can computing science save the computer industry? |

**921** |
14 |
A correction of EWD914-15 |

**922** |
157 |
A belated proof of self-stabilization |

**923** |
253 |
Trip report E.W.Dijkstra, Ithaca, Newport, 30 May - 13 June 1985 |

**923a** |
32 |
Where is Russell's ``Paradox''? |

**924** |
429 |
On a cultural gap |

**925** |
127 |
Trip report E.W.Dijkstra, London, 25-27 June 1985 |

**926** |
30 |
A computer to think about |

**927** |
129 |
The ATAC ( = Austin Tuesday Afternoon Club) |

**928** |
602 |
On structures |

**929** |
133 |
A generalization of the functions head and tail (unfinished) |

**930** |
95 |
For the record: the Linear Search |

**931** |
93 |
Concerning the equivalence |

**932** |
62 |
Some simple theorems on incremental sorting |

**932a** |
216 |
The streamlining of the mathematical argument |

**932b** |
87 |
Some simple lemmata on incremental sorting |

**932c** |
168 |
The streamlining of the mathematical argument |

**933** |
41 |
On a problem posed by M.R.Khalil (for the record) |

**934** |
202 |
The Saddleback Search |

**935** |
148 |
For the record: Batcher's Baffler |

**935a** |
196 |
For the record: Batcher's Baffler |

**936** |
329 |
On anthropomorphism in science |

**937** |
77 |
Correction and extension of EWD932b |

**938** |
173 |
To an anonymous referee of AvG45/EWD901 |

**939** |
119 |
Incremental sorting once more |

**940** |
49 |
What I missed in Batcher's Baffler (EWD935a-0) |

**941** |
236 |
Rotating a linear array |

**942** |
290 |
The longest plateau and other stories |

**943** |
206 |
The problem of the Longest Ribbon |

**944** |
176 |
The operation ``trickle'' |

**945** |
100 |
A simple theorem? |

**946** |
91 |
The proof of the pudding |

**947** |
57 |
A letter to a typewriter manufacturer |

**948** |
132 |
Misra's proof of Lamport's mutual exclusion |

**949** |
325 |
On substitution, replacement, and the notion of a function |

**950** |
659 |
On notation (with A.J.M. van Gasteren) |

**950a** |
808 |
On notation (with A.J.M. van Gasteren) |

**951** |
135 |
Trip report E.W.Dijkstra, Europe, 13.12.1985 - 10.1.1986 |

**952** |
576 |
Science fiction and science reality in computing |

**953** |
275 |
A heuristic explanation of Batchers's Baffler |

**953a** |
364 |
A heuristic explanation of Batchers's Baffler |

**954** |
86 |
Idempotence and reflexivity; associativity and transitivity; distribution and monotonicity |

**954a** |
135 |
On binary operators and their derived relations |

**955** |
125 |
Partitioning predicates and substitution; diabolical and angelical nondeterminism |

**956** |
85 |
Address to my students |

**957** |
100 |
Partitioning predicates and punctual functions (see EWD955) |

**958** |
422 |
On naming (with A.J.M. van Gasteren) |

**959** |
36 |
A short note on universal quantification |

**960** |
84 |
On a proof I learned from prof. dr. J. Haantjes |

**961** |
59 |
On the ``quadrangular'' inequalities |

**962** |
310 |
Introducing a course on mathematical methodology |

**963** |
71 |
Visuals for BP's Venture Research Conference |

**964** |
47 |
Node degree and the size of disconnected subgraphs |

**965** |
108 |
Ptolemaeus and Brahmagupta (or: Baffled by Symmetry) |

**966** |
176 |
Management and Mathemetics |

**967** |
109 |
On finite models for the equivalence (with C.S.Scholten) |

**968** |
265 |
Trip report E.W.Dijkstra, Marktoberdorf, 29 July - 10 Aug l986 |

**969** |
688 |
Extreme solutions of equations |

**970** |
123 |
F.L. Bauer's Conjecture is F.L. Bauer's Theorem |

**972** |
45 |
(E y :: (A x :: p.x.y)) => (A x :: (E y :: p.x.y)) |

**973** |
52 |
The cosine rule |

**974** |
53 |
The longer side is opposite to the greater angle |

**975** |
27 |
On the theorem of Pythagoras |

**976** |
84 |
Who is your ``target audience''? |

**977** |
61 |
An address to my students (16.9.1986) |

**978** |
64 |
A sequel to EWD977 (18.9.1986) |

**979** |
66 |
A solution designed by A. Blokhuis |

**980** |
252 |
The strange case of The Pigeon-hole Principle |

**981** |
54 |
Address to my students (23.9.1986) |

**982** |
173 |
Relational Calculus according to ATAC |

**983** |
55 |
How do we contribute? (30.9.1986) |

**984** |
418 |
The study of a notion, viz. that of residue classes |

**985** |
46 |
A supplement to EWD878 |

**986** |
45 |
Suppose they differ! |

**987** |
96 |
On a class of graphs with modest diameter |

**987a** |
217 |
On a class of graphs with modest diameter |

**988** |
274 |
On the phenomenon of scientific disciplines |

**988a** |
140 |
How experimental is computing science? |

**989** |
110 |
Proving Gupta's Theorem |

**990** |
118 |
A theorem of Charles Babbage's extended |

**991** |
145 |
Why Johnny can't understand |

**992** |
45 |
Difficult is easy |

**993** |
166 |
The nature of my research and why I do it |

**994** |
44 |
J. Misra's comment on EWD964 |

**995** |
76 |
On W.H.J.Feijen's string equation |

**996** |
89 |
Courtesy A.J.M. van Gasteren, C.S.Scholten and J.G.Wiltink |

**997** |
54 |
Computing Science in the United Kingdom |

**998** |
200 |
Shmuel Safra's version of termination detection |

**999** |
302 |
Our proof format |