Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

Comparing combinatory reduction systems and higher-order rewrite systems Tech Report

V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1993
MADE: a multimedia application development environment Tech Report

I. Herman (Ivan), G.J. Reynolds and J. Davy

January 1993
Control of a random walk with noisy delayed information Tech Report

E. Altman and G.M. Koole (Ger)

January 1993
Some problems of applied algebra Tech Report

M. Hazewinkel (Michiel)

January 1993
Parallel iteration across the steps of high order Runge-Kutta methods for nonstiff initial value problems Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and W.A. van der Veen (Wolter)

January 1993
An evaluation of explicit pseudo-steady-state approximation schemes for stiff ODE systems from chemical kinetics Tech Report

J.G. Verwer (Jan) and M. van Loon (Martin)

January 1993
A proof procedure for extended logic programs Tech Report

F. J. M. Teusink (Frank)

January 1993
Reasoning about Prolog programs: from modes through types to assertions Tech Report

K.R. Apt (Krzysztof) and E. Marchiori

January 1993

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close