Centrum Wiskunde & Informatica

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
Multiple worlds in an intelligent CAD system Tech Report

P. J. Veerkamp (Paul)

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
Two nonparametric estimators of the survival function of bivariate right censored observations Tech Report

D.M. Bakker

January 1990
Computing boolean functions on Cayley networks (extended abstract) Tech Report

E. Kranakis (Evangelos) and D.D.M. Krizanc

January 1990

Previous

Next