 | 1997 |
|---|
| 7 |       | Henk Doornbos,
Roland Carl Backhouse,
Jaap van der Woude:
A Calculational Approach to Mathematical Induction.
Theor. Comput. Sci. 179(1-2): 103-135 (1997) |
| 1995 |
|---|
| 6 |  | Roland Carl Backhouse,
Marcel Bijsterveld,
Rik van Geldrop,
Jaap van der Woude:
Categorical Fixed Point Calculus.
Category Theory and Computer Science 1995: 159-179 |
| 5 | | Chritiene Aarts,
Roland Carl Backhouse,
Eerke A. Boiten,
Henk Doornbos,
Netty van Gasteren,
Rik van Geldrop,
Paul F. Hoogendijk,
Ed Voermans,
Jaap van der Woude:
Fixed-Point Calculus.
Inf. Process. Lett. 53(3): 131-136 (1995) |
| 1993 |
|---|
| 4 | | Roland Carl Backhouse,
Jaap van der Woude:
Demonic Operators and Monotype Factors.
Mathematical Structures in Computer Science 3(4): 417-433 (1993) |
| 1991 |
|---|
| 3 | | Roland Carl Backhouse,
Peter J. de Bruin,
Paul F. Hoogendijk,
Grant Malcolm,
Ed Voermans,
Jaap van der Woude:
Polynomial Relators (Extended Abstract).
AMAST 1991: 303-326 |
| 1989 |
|---|
| 2 | | Jaap van der Woude:
Rabbitcount : = Rabbitcount - 1.
MPC 1989: 409-420 |
| 1 | | Jaap van der Woude:
Playing with Patterns, Searching for Strings.
Sci. Comput. Program. 12(3): 177-190 (1989) |
