Centrum Wiskunde & Informatica

The syntax and semantics of $ mu $ CRL Tech Report

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

January 1990
Loop checking and negation Tech Report

R.N. Bol

January 1990
The two-dimensional random walk, its hitting process and its classification Tech Report

J.W. Cohen

January 1990
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

Previous

Next