Jaap van der Woude

Gerard Michels, Sebastiaan Joosten, Jaap van der Woude, Stef Joosten: Ampersand - Applying Relation Algebra in Practice. RAMICS 2011: 280-293

Jaap van der Woude, Stef Joosten: Relational Heterogeneity Relaxed by Subtyping. RAMICS 2011: 347-361

Henk Doornbos, Roland Carl Backhouse, Jaap van der Woude: A Calculational Approach to Mathematical Induction. Theor. Comput. Sci. 179(1-2): 103-135 (1997)

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)

Roland Carl Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude: Categorical Fixed Point Calculus. Category Theory and Computer Science 1995: 159-179

Roland Carl Backhouse, Jaap van der Woude: Demonic Operators and Monotype Factors. Mathematical Structures in Computer Science 3(4): 417-433 (1993)

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

Jaap van der Woude: Playing with Patterns, Searching for Strings. Sci. Comput. Program. 12(3): 177-190 (1989)

Jaap van der Woude: Rabbitcount : = Rabbitcount - 1. MPC 1989: 409-420