Centrum Wiskunde & Informatica

Deriving incremental implementations from algebraic specifications Tech Report

E.A. van der Meulen (Emma)

January 1990
Representation and implementation of design knowledge for intlligent CAD : implementational aspects Tech Report

T. Kiriyama, D. Xue, T. Tomiyama and P. J. Veerkamp (Paul)

January 1990
Representation and implementation of design knowledge for intlligent CAD : theoretical aspects Tech Report

P. J. Veerkamp (Paul), T. Kiriyama, D. Xue and T. Tomiyama

January 1990
Four domains for concurrency Tech Report

J.W. de Bakker (Jaco) and J.H.A. Warmerdam

January 1990
Discourse representation theory Tech Report

D.J.N. van Eijck (Jan)

January 1990
A fully abstract model for concurrent logic languages Tech Report

F.S. de Boer (Frank) and C. Palamidessi (Catuscia)

January 1990
Runge-Kutta methods and local uniform grid refinement Tech Report

R.A. Trompert (Ronald) and J.G. Verwer (Jan)

January 1990
Tait's flyping conjecture for well-connected links Tech Report

A. Schrijver (Lex)

January 1990

Previous

Next