Authors: DOORNBOS H BACKHOUSE R VANDERWOUDE J

Citation: H. Doornbos et al., A CALCULATIONAL APPROACH TO MATHEMATICAL INDUCTION, Theoretical computer science, 179(1-2), 1997, pp. 103-135

Authors: DOORNBOS H BACKHOUSE R

Citation: H. Doornbos et R. Backhouse, REDUCTIVITY, Science of computer programming, 26(1-3), 1996, pp. 217-236

Authors: AARTS C BACKHOUSE R BOITEN E DOORNBOS H VANGASTEREN N VANGELDROP R HOOGENDIJK P VOERMANS E VANDERWOUDE J

Citation: C. Aarts et al., FIXED-POINT CALCULUS, Information processing letters, 53(3), 1995, pp. 131-136