The WFs

0 - 99 | 100 - 199 | 200 onward

Wim Feijen's home page


Number Title Other contributors
WF204 No operational insight required!  
WF211a A very beginning of lattice theory
[Transcription]
Netty van Gasteren
WF213 How to bound in Branch and Bound
[Transcription]
 
WF214 The Binary Search revisited [Transcription] Netty van Gasteren
WF216 πf2 = πf , courtesy Jaap van der Woude and Henk Doornbos  
WF217 A bagatelle on extreme solutions  
WF219 A very clever and impressive (but highly intractable) proof of a beautiful theorem  
WF221 Formal Derivation of an Algorithm for Distributed Phase Synchronization
[Transcription]
Daniela Buhaceanu
WF222 An exercise given by Rutger M. Dijkstra  
WF225 A decomposition theorem for multibounds Netty van Gasteren
WF227 Exercises in Calculating Netty van Gasteren
WF228 Playing with ↑ and |⋅| Netty van Gasteren
WF229 Richard Bird's Typewriter Problem Netty van Gasteren
WF268 The Joy of Formula Manipulation
[Transcription]
 
WF269 On computing a longest path in a tree (by the Eindhoven Tuesday Afternoon Club) R.W. Bulterman, F.W. van der Sommen, G. Zwaan, A.J.M. van Gasteren
WF270 Exploiting universal junctivity Netty van Gasteren
WF271 An overlooked formula (from the predicate calculus)  
WF272 An experiment in solving a fixed-point equation Rik van Geldrop
WF275 Two "fusion-lemmata" on minimal solutions  
WF276 The Leap-Frog Rule and the Star-Decomposition once more  
WF277 A programming exercise communicated by Oege de Moor  
WF278 Skolemization, for brevity's sake  
WF279 The maximal AB-segment  
WF280 A nice little problem communicated by J. Misra  
WF281 A programming exercise communicated by Tom Verhoeff  
WF282 Punctual predicate transformers are as conjunctive as they are monotonic  
WF283 An embellishment of WF282  
WF284 A method for avoiding total deadlock, courtesy Diethard Michaelis