Henk Doornbos

Publication Activity (10 Years)

Years Active: 1994-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)
Roland Carl Backhouse, Henk Doornbos
Datatype-Generic Termination Proofs. Theory Comput. Syst. 43 (3-4) (2008)
Henk Doornbos, Roland Carl Backhouse
Algebra of Program Termination. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Henk Doornbos, Burghard von Karger
On the Union of Well-Founded Relations. Log. J. IGPL 6 (2) (1998)
Henk Doornbos, Roland Carl Backhouse, Jaap van der Woude
A Calculational Approach to Mathematical Induction. Theor. Comput. Sci. 179 (1-2) (1997)
Henk Doornbos, Roland Carl Backhouse
Reductivity. Sci. Comput. Program. 26 (1-3) (1996)
Henk Doornbos, Roland Carl Backhouse
Induction and Recursion on Datatypes. MPC (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)
Henk Doornbos
A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs. PROCOMET (1994)