Centrum Wiskunde & Informatica

Turning SOS rules into equations Tech Report

L. Aceto (Luca), B. Bloom and F.W. Vaandrager (Frits)

January 1992
Computable processes and bisimulation equivalence Tech Report

A. Ponse (Alban)

January 1992
Factorizations of $ a^n pm 1,13 leq a < 100 $ Tech Report

R.P. Brent and H.J.J. te Riele (Herman)

January 1992
Verification of parameterised synchronous concurrent algorithms with OBJ3: the pixel planes architecture revisited Tech Report

S.M. Eker

January 1992
A two-machine repair model with variable repair rate Tech Report

F.A. van der Duyn Schouten and P. Wartenhorst

January 1992
Incidence and lattice calculus with applications to stochastic geometry and image analysis Tech Report

A.J. Baddeley (Adrian) and H.J.A.M. Heijmans (Henk)

January 1992
On Zeilberger's algorithm and its q-analogue: a rigorous description Tech Report

T.H. Koornwinder

January 1992
Analysis of local uniform grid refinement Tech Report

J.G. Verwer (Jan) and R.A. Trompert (Ronald)

January 1992

Previous

Next