CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1987 -
January 1987 -
January 1987 -
A note on the partitioning shortest path algorithm Article
Operations Research Letters, 6(4), 183-187.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