 | 2000 |
|---|
| 7 |       | Henk Doornbos,
Roland Carl Backhouse:
Algebra of Program Termination.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 203-236 |
| 1998 |
|---|
| 6 | | Henk Doornbos,
Burghard von Karger:
On the Union of Well-Founded Relations.
Logic Journal of the IGPL 6(2): 195-201 (1998) |
| 1997 |
|---|
| 5 | | Henk Doornbos,
Roland Carl Backhouse,
Jaap van der Woude:
A Calculational Approach to Mathematical Induction.
Theor. Comput. Sci. 179(1-2): 103-135 (1997) |
| 1996 |
|---|
| 4 |  | Henk Doornbos,
Roland Carl Backhouse:
Reductivity.
Sci. Comput. Program. 26(1-3): 217-236 (1996) |
| 1995 |
|---|
| 3 | | Henk Doornbos,
Roland Carl Backhouse:
Induction and Recursion on Datatypes.
MPC 1995: 242-256 |
| 2 | | 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) |
| 1994 |
|---|
| 1 | | Henk Doornbos:
A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs.
PROCOMET 1994: 363-382 |
