Centrum Wiskunde & Informatica

Asymptotic inversion of the incomplete beta function Tech Report

N.M. Temme (Nico)

January 1991
Positive convolution structures associated with quantum groups Tech Report

T.H. Koornwinder

January 1991
Linear approximation of shortest superstrings Tech Report

A. Blum, T. Jiang (Tao), M. Li (Ming), J.T. Tromp (John) and M. Yannakakis

January 1991
Lazy and incremental program generation Tech Report

J. Heering (Jan), P. Klint (Paul) and J. G. Rekers (Jan)

January 1991
Real-time quadratic shading Tech Report

V.C.J. Disselkoen

January 1991
Facets of database triggers Tech Report

M.H. van der Voort and M.L. Kersten (Martin)

January 1991
Computing distinguising formulas for branching bisimulation Tech Report

H.P. Korver

January 1991
Branching time and abstraction in bisimulation semantics Tech Report

R.J. van Glabbeek (Rob) and W.P. Weijland

January 1991

Previous

Next