Centrum Wiskunde & Informatica

Process algebra with guards : combining Hoare logic with process algebra Tech Report

J.F. Groote (Jan Friso) and A. Ponse (Alban)

January 1990
Transfinite reductions in orthogonal term rewriting systems Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

January 1990
A local limit theorem for L-statistics Tech Report

R. Helmers (Roelof)

January 1990
Central limit theorem for non-homogeneous processes with independent increments and semimarkov switchings Tech Report

V.V. Korolyuk (Vladimir)

January 1990
On the construction of translation and rotation invariant morphological operators Tech Report

J.B.T.M. Roerdink (Jos)

January 1990
Block-Cholesky for parallel processing Tech Report

M. Nool (Margreet)

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

Previous

Next