Centrum Wiskunde & Informatica

Proof-checking a data link protocol Tech Report

L. Helmink, M.P.A. Sellink and F.W. Vaandrager (Frits)

January 1994
Tarskian variations dynamic parameters in classical semantics Tech Report

J. F. A. K. van Benthem (Johan) and G. Cepparello (Giovanna)

January 1994
Two heads are better than two tapes Tech Report

T. Jiang (Tao), J.I. Seiferas and P.M.B. Vitányi (Paul)

January 1994
Analysis of multiple-server polling systems by means of the power-series algorithm Tech Report

R.D. van der Mei (Rob) and S.C. Borst (Sem)

January 1994
Parallel Arnoldi method for the construction of a Krylov subspace basis: an application in magnetohydrodynamics Tech Report

J.G.L. Booten, P.M. Meijer, H.J.J. te Riele (Herman) and H.A. van der Vorst (Henk)

January 1994
Self-dual morphological operators and filters Tech Report

H.J.A.M. Heijmans (Henk)

January 1994
Polling systems with multiple coupled servers Tech Report

S.C. Borst (Sem)

January 1994
CQG algebras: a direct algebraic approach to compact quantum groups Tech Report

M. Dijkhuizen and T.H. Koornwinder

January 1994

Previous

Next