Centrum Wiskunde & Informatica

Method of lines and direct discretization : a comparison for linear advection Tech Report

W. Hundsdorfer (Willem) and R.A. Trompert (Ronald)

January 1993
Basic process algebra with iteration: completenss of its equational axioms Tech Report

W.J. Fokkink (Wan) and H. Zantema (Hans)

January 1993
Datalog with non-deterministic choice computes NDP-PTIME Tech Report

L. Corciulo, F. Gianotti and D. Pedreschi

January 1993
Differential logic programs: semantics and programming methodologies Tech Report

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

January 1993
Combinatory reduction systems: introduction and survey Tech Report

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

January 1993
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

Previous

Next