Centrum Wiskunde & Informatica

On constructing multi-variate orthonormal polynomials associated with spectral distribution functions Tech Report

K.O. Dzhaparidze (Kacha) and R.H.P. Janssen (René)

January 1993
Steepest descent paths for integrals defining the modified Bessel functions of imaginary order Tech Report

N.M. Temme (Nico)

January 1993
Topological models for higher order control flow Tech Report

J.W. de Bakker (Jaco) and F. van Breugel

January 1993
Comparative semantics for linear arrays of communicating processes Tech Report

J.W. de Bakker (Jaco), F. van Breugel and A. de Bruin (Arie)

January 1993
Three metric domains of processes for bisimulation Tech Report

F. van Breugel

January 1993
MANIFOLD version 1.0 programming: programs and problems Tech Report

C.L. Blom (Kees)

January 1993
Bisimulations and predicate logic Tech Report

R.T.P. Fernando (Tim)

January 1993
Efficient algorithms for mathematical morphology based on chamfer distances Tech Report

P. F. M. Nacken (Peter)

January 1993

Previous

Next