EWD number 
Size (KB) 
Title 
transcriptions 
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 
EWD903.html 
904 
58 
A problem solved by my nephew Sybrand L. Dijkstra 
EWD904.html 
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 
EWD906.html 
907 
194 
Trip report E.W.Dijkstra, Netherlands, Austria,
2331 Jan. 1985 
EWD907.html 
908 
770 
Predicate transformers (Draft Ch.3) 

909 
121 
Trip report E.W.Dijkstra, WestboroBoston,
1417 Feb. 1985 
EWD909.html 
910 
664 
Semantics of straightline programs (Draft Chap.4) 

911 
139 
Trip report E.W.Dijkstra, Tulsa, 16 March 1985 
EWD911.html 
912 
579 
Extreme solutions of equations (Draft Ch.5) 

913 
421 
On a cultural gap (Draft) 
EWD913.html 
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 
EWD917.html 
918 
372 
A summary of a year's impressions 
EWD918.htm 
920 
261 
Can computing science save the computer industry? 
EWD920.html 
921 
14 
A correction of EWD91415 

922 
157 
A belated proof of selfstabilization 

923 
253 
Trip report E.W.Dijkstra, Ithaca, Newport, 30 May  13 June 1985 
EWD923.html 
923a 
32 
Where is Russell's ``Paradox''? 
EWD923a.html 
924 
429 
On a cultural gap 
EWD924.html 
925 
127 
Trip report E.W.Dijkstra, London, 2527 June 1985 
EWD925.html 
926 
30 
A computer to think about 
EWD926.html 
927 
129 
The ATAC ( = Austin Tuesday Afternoon Club) 
EWD927.html 
928 
602 
On structures 

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

930 
95 
For the record: the Linear Search 
EWD930.html 
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 
EWD932c.html 
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 
EWD936.html 
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 (EWD935a0) 

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 
EWD947.html 
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 
EWD951.html 
952 
576 
Science fiction and science reality in computing 
EWD952.html 
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 
EWD956.html 
957 
100 
Partitioning predicates and punctual functions
(see EWD955) 

958 
422 
On naming (with A.J.M. van Gasteren) 
EWD958.html 
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 
EWD962.html 
963 
71 
Visuals for BP's Venture Research Conference 
EWD963.html 
964 
47 
Node degree and the size of disconnected subgraphs 

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

966 
176 
Management and Mathematics 
EWD966.html 
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 
EWD968.html 
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 
EWD973.html 
974 
53 
The longer side is opposite to the greater angle 
EWD974.html 
975 
27 
On the theorem of Pythagoras 
EWD975.html 
976 
84 
Who is your ``target audience''? 
EWD976.html 
977 
61 
An address to my students (16.9.1986) 
EWD977.html 
978 
64 
A sequel to EWD977 (18.9.1986) 
EWD978.html 
979 
66 
A solution designed by A. Blokhuis 
EWD979.html 
980 
252 
The strange case of The Pigeonhole Principle 
EWD980.html 
981 
54 
Address to my students (23.9.1986) 
EWD981.html 
982 
173 
Relational Calculus according to ATAC 

983 
55 
How do we contribute? (30.9.1986) 
EWD983.html 
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 
EWD987.html 
987a 
217 
On a class of graphs with modest diameter 
EWD987a.html 
988 
274 
On the phenomenon of scientific disciplines 
EWD988.html 
988a 
140 
How experimental is computing science? 
EWD988a.html 
989 
110 
Proving Gupta's Theorem 
EWD989.html 
990 
118 
A theorem of Charles Babbage's extended 

991 
145 
Why Johnny can't understand 
EWD991.html 
992 
45 
Difficult is easy 
EWD992.html 
993 
166 
The nature of my research and why I do it 
EWD993.html 
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 
EWD996.html 
997 
54 
Computing Science in the United Kingdom 
EWD997.html 
998 
200 
Shmuel Safra's version of termination detection 

999 
302 
Our proof format 
