Henk Doornbos
发表
Roland Carl Backhouse,
Henk Doornbos,
Netty van Gasteren,
1997,
Relational Methods in Computer Science.
Henk Doornbos,
1994,
PROCOMET.
Henk Doornbos,
A.J.M. van Gasteren,
1996
.
Roland Carl Backhouse,
Henk Doornbos,
R. Backhouse,
2008,
Theory of Computing Systems.
Roland Carl Backhouse,
Henk Doornbos,
R. Backhouse,
1995,
MPC.
Burghard von Karger,
Henk Doornbos,
1998,
Log. J. IGPL.
Roland Carl Backhouse,
Paul F. Hoogendijk,
Eerke A. Boiten,
1995,
Inf. Process. Lett..
Roland Carl Backhouse,
Jaap van der Woude,
Henk Doornbos,
1997,
Theor. Comput. Sci..
Roland Carl Backhouse,
Henk Doornbos,
2000,
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction.
Roland Carl Backhouse,
Roland Glück,
Jaap van der Woude,
2021,
J. Log. Algebraic Methods Program..
Roland Carl Backhouse,
Paul F. Hoogendijk,
Henk Doornbos,
1992
.
Roland Carl Backhouse,
Henk Doornbos,
2001
.