Search the dblp DataBase
Henk Doornbos :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Henk Doornbos , Roland Carl Backhouse Algebra of Program Termination. [Citation Graph (0, 0)][DBLP ] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000, pp:203-236 [Conf ] Henk Doornbos , Roland Carl Backhouse Induction and Recursion on Datatypes. [Citation Graph (0, 0)][DBLP ] MPC, 1995, pp:242-256 [Conf ] Henk Doornbos A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs. [Citation Graph (0, 0)][DBLP ] PROCOMET, 1994, pp:363-382 [Conf ] Henk Doornbos , Burghard von Karger On the Union of Well-Founded Relations. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1998, v:6, n:2, pp:195-201 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1995, v:53, n:3, pp:131-136 [Journal ] Henk Doornbos , Roland Carl Backhouse Reductivity. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1996, v:26, n:1-3, pp:217-236 [Journal ] Henk Doornbos , Roland Carl Backhouse , Jaap van der Woude A Calculational Approach to Mathematical Induction. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1997, v:179, n:1-2, pp:103-135 [Journal ] Search in 0.002secs, Finished in 0.002secs