Centrum Wiskunde & Informatica

Term rewriting systems Tech Report

J.W. Klop (Jan Willem)

January 1990
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
Loop checking and negation Tech Report

R.N. Bol

January 1990

Previous

Next