Centrum Wiskunde & Informatica

Incomplete line LU for discretized coupled PDE's as preconditioner in Bi-CGSTAB Tech Report

P.M. de Zeeuw (Paul)

January 1992
Dynamic modal predicate logic Tech Report

D.J.N. van Eijck (Jan) and G. Cepparello (Giovanna)

January 1992
Specification and generation of a $ lambda $ -calculus environment Tech Report

A. van Deursen (Arie)

January 1992
Regular processes with relative time and silent steps Tech Report

W.J. Fokkink (Wan)

January 1992
Origin tracking Tech Report

A. van Deursen (Arie), P. Klint (Paul) and F. Tip (Frank)

January 1992
An architecture for interactive raster graphics Tech Report

A.A.M. Kuijk (Fons), E.H. Blake (Edwin) and P.J.W. ten Hagen (Paul)

January 1992
Faster Phong shading Tech Report

E.H. Blake (Edwin), V.C.J. Disselkoen and A.A.M. Kuijk (Fons)

January 1992
A predicate transformer to unification Tech Report

L. Colussi (Livio) and E. Marchiori

January 1992

Previous

Next