CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Linear time and branching time semantics for recursion with merge Tech Report
J.W. de Bakker (Jaco), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1982 -
January 1982 -
Guidelines for the design of large modular scientific libraries in ADA Tech Report
G.T. Symm, B.A. Wichmann, J. Kok (Jan) and D.T. Winter (Dik)
January 1982 -
The convergence rate of multi-level algorithms applied to the convection-diffusion equation Tech Report
January 1982 -
January 1982 -
January 1982 -
January 1982 -
January 1982