Centrum Wiskunde & Informatica

A comparison of OBJ3 and ASF+SDF Tech Report

S.M. Eker

January 1992
Specification of Manifold : version 1.0 Tech Report

F. Arbab (Farhad)

January 1992
Real time process algebra with prefixed integration Tech Report

W.J. Fokkink (Wan) and A.S. Klusener (Steven)

January 1992
Transition systems and dynamic semantics Tech Report

R.T.P. Fernando (Tim)

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