EWD number 
Size (KB) 
Title 

900 
120 
Minsegsumtwodim 

900a 
193 
Minsegsumtwodim 

901 
319 
A simple fixpoint argument without the restriction to continuity (with A.J.M. van Gasteren) 

901a 
305 
A simple fixpoint 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, WestboroBoston,
14–17 Feb. 1985 

910 
664 
Semantics of straightline 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 selfstabilization 

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 Batcher’s Baffler 

953a 
364 
A heuristic explanation of Batcher’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 Mathematics 

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 Pigeonhole 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 
