CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Literatuur Book Chapter
January 1987 -
Verantwoording (Over de auteurs) Book Chapter
January 1987 -
Predictor-corrector methods for periodic second-order initial-value problems Article
IMA Journal of Numerical Analysis, 7(4), 407-422.January 1987 -
On the consistency of Koomen's fair abstraction rule Article
Theoretical Computer Science, 51(1-2), 129-176.J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1987 -
Equal values of binary forms at integral points Article
Acta Arithmetica, 48(4), 379-396.J.-H. Evertse (Jan-Hendrik), K. Györy, T.N. Shorey and R. Tijdeman
January 1987 -
Needed reduction and spine strategies for the lambda calculus Article
Information and Computation, 75(3), 191-231.H.P. Barendregt (Henk), J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)
January 1987 -
The numerical solution of nonlinear Volterra integral equations of the second kind by collocation and iterated collocation methods Article
Journal on Scientific and Statistical Computing, 8(5), 806-830.January 1987 -
Display architecture for VLSI-based graphics workstations In Proceedings
P.J.W. ten Hagen (Paul), A.A.M. Kuijk (Fons) and C.G. Trienekens
January 1987