CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 -
Lower bounds for a class of Kostka numbers Article
Ars Combinatoria, 121-129.January 1987 -
Preservation of products by functors close to reflectors In Proceedings
January 1987 -
Demonstrating possession of a discrete logarithm without revealing it In Proceedings
D. Chaum (David), J.-H. Evertse (Jan-Hendrik), J.A.M. van de Graaf (Jeroen) and R. Peralta
January 1987