Jaap van der Woude

According to our database, Jaap van der Woude authored at least 10 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2022

Components and acyclicity of graphs. An exercise in combining precision with concision.

Roland Carl Backhouse, Henk Doornbos, Roland Glück, Jaap van der Woude

J. Log. Algebraic Methods Program., 2022

2011

Relational Heterogeneity Relaxed by Subtyping.

Jaap van der Woude, Stef Joosten

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

Ampersand - Applying Relation Algebra in Practice.

Gerard Michels, Sebastiaan J. C. Joosten, Jaap van der Woude, Stef Joosten

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

1997

A Calculational Approach to Mathematical Induction.

Henk Doornbos, Roland Carl Backhouse, Jaap van der Woude

Theor. Comput. Sci., 1997

1995

Fixed-Point Calculus.

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

Inf. Process. Lett., 1995

Categorical Fixed Point Calculus.

Roland Carl Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude

Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995

1993

Demonic Operators and Monotype Factors.

Roland Carl Backhouse, Jaap van der Woude

Math. Struct. Comput. Sci., 1993

1991

Polynomial Relators (Extended Abstract).

Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1989

Playing with Patterns, Searching for Strings.

Jaap van der Woude

Sci. Comput. Program., 1989

Rabbitcount : = Rabbitcount - 1.

Jaap van der Woude

Proceedings of the Mathematics of Program Construction, 1989