0 - 99 | 100 - 199 | 200 onward
| Number | Title | Other contributors |
|---|---|---|
| WF101 | A bagatelle (for the files) | |
| WF102 | The Nabla Trick | |
| WF107 | The Welfare Crook taken as an exercise in problem decomposition | |
| WF110 | A different derivation of the Schoenmakers-Kaldewaij Linear Search (for the record) | |
| WF112 | A little exercise in deriving multiprograms | |
| WF113 | Two proofs to remember (for our files) | |
| WF114 | The problem of the table of cubes | |
| WF116 | The Linear Search, and some more | |
| WF117 | An exercise of Richard Bird's | |
| WF118 | The Bounded Linear Search | |
| WF119a | Around Bresenham | |
| WF121a | The Lexicographic Minimum of a Cyclic Array | |
| WF122 | Untitled [predicate calculus summary and exercises, up and down, S and N] | |
| WF126 | Mathematical Induction expressed in a dummy-free notation | |
| WF133 | A homework assignment by Jaap van der Woude | |
| WF134 | A beautiful proof of an ugly theorem (from the relational calculus) | |
| WF140 | An introduction into the relational calculus | |
| WF147 | Designing a proof for R.S. Bird's theorem on pre-orders | |
| WF148 | One down for the relational calculus (whether you like it or not) | |
| WF149 | A trifle on the stability of f.x ≤ g.y | |
| WF153 | To my fellow teachers of programming | |
| WF155 | On the ascendingness-test and on tail invariants | |
| WF157 | A note on the Kaldewaij Schemes for longest and shortest segments | |
| WF165 | A high-tech calculation | |
| WF166 | The characterizations of extreme solutions | |
| WF167 | A note on equation x: [t ∨ s;x ≡ x] | |
| WF168 | Jaap van der Woude's reply to WF167 | |
| WF169 | Courtesy AJM van Gasteren --and Fusion Lemmata-- | |
| WF173 | How even the simplest multiprogram-transformations need not work | |
| WF175 | Playing with dagger and star, i.e. with transitive closures | |
| WF177 | An exotic theorem!? (for the record) | |
| WF179 | Re EWD1170: "Equilateral triangles and rectangular grids" | |
| WF183 | Constructing the Galois Adjoint | |
| WF185 | The "first closure lemma" in practice: two very small examples | |
| WF186 | A theorem on the monotonicity of extreme solutions | |
| WF187 | A case of intuitive reasoning[Transcription] | |
| WF188 | Two equivalent ceilings | |
| WF189 | ∃∀ ⇒ ∀∃ | |
| WF190 | What associativity is all about [Transcription] | |
| WF191 | Two "equivalent" characterizations of suprema | Netty van Gasteren |
| WF194 | Triggered by EWD1183 |