Jaap van der Woude

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 1

Top Topics

Graph Structures

Bounded Treewidth

Software Components

Top Venues

J. Log. Algebraic Methods Program.

Publications

Roland Carl Backhouse, Henk Doornbos, Roland Glück, Jaap van der Woude
Components and acyclicity of graphs. An exercise in combining precision with concision. J. Log. Algebraic Methods Program. 124 (2022)
Gerard Michels, Sebastiaan J. C. Joosten, Jaap van der Woude, Stef Joosten
Ampersand - Applying Relation Algebra in Practice. RAMiCS (2011)
Jaap van der Woude, Stef Joosten
Relational Heterogeneity Relaxed by Subtyping. RAMiCS (2011)
Henk Doornbos, Roland Carl Backhouse, Jaap van der Woude
A Calculational Approach to Mathematical Induction. Theor. Comput. Sci. 179 (1-2) (1997)
Roland Carl Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude
Categorical Fixed Point Calculus. Category Theory and Computer Science (1995)
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) (1995)
Roland Carl Backhouse, Jaap van der Woude
Demonic Operators and Monotype Factors. Math. Struct. Comput. Sci. 3 (4) (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)
Jaap van der Woude
Rabbitcount : = Rabbitcount - 1. MPC (1989)
Jaap van der Woude
Playing with Patterns, Searching for Strings. Sci. Comput. Program. 12 (3) (1989)