June 1998
© Peter van Emde Boas
Anne Kaldewaij
Gebouw Euclides
Plantage Muidergracht 24
1018 TV Amsterdam
kaldeway@wins.uva.nl
A programming problem and a solution thereof are presented. It is based on the cooperative work in our course on Programming and Reasoning, a unique project between the fields of logic and of program derivation. Just for fun.
Dvi-file
PS-File
PDF-File
Bibtex Entry
June 1998
© Peter van Emde Boas