| 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 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 |
EWD960.html |
| 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 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 |
|