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

Gauss-Seidel iteration for stiff ODEs from chemical kinetics Tech Report

J.G. Verwer (Jan)

January 1993
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
The tyft/tyxt format reduces to tree rules Tech Report

W.J. Fokkink (Wan)

January 1993
Generalizing finiteness conditions of labelled transition systems Tech Report

F. van Breugel

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

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