Centrum Wiskunde & Informatica

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
Simultaneous replacement in normal programs Tech Report

A. Bossi, N. Cocco and S. Etalle (Sandro)

January 1993
Operational semantics, bisimulations and logical complexity Tech Report

R.T.P. Fernando (Tim)

January 1993
Comparing curried and uncurried rewriting Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

January 1993

Previous

Next