university website 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
  • thumb

    Differential logic programs: semantics and programming methodologies Tech Report

    A. Bossi, M. Bugliesi, M. Gabbrielli, G. Levi and M.C. Meo

    January 1993
    open access
  • thumb

    Combinatory reduction systems: introduction and survey Tech Report

    J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

    January 1993
    open access
  • thumb

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

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

    January 1993
    open access
  • thumb

    MADE: a multimedia application development environment Tech Report

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

    January 1993
    open access
  • thumb

    Control of a random walk with noisy delayed information Tech Report

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

    January 1993
    open access
  • thumb

    Some problems of applied algebra Tech Report

    M. Hazewinkel (Michiel)

    January 1993
    open access
  • thumb

    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
    open access
  • thumb

    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
    open access
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close