Centrum Wiskunde & Informatica

Weak orthogonality implies confluence : the higher-order case Tech Report

V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1995
Connections between semidefinite relaxations of the max-cut and stable set problems Tech Report

M. Laurent (Monique), S. Poljak and F. Rendl (Franz)

January 1995
On the facial structure of the set of correlation matrices Tech Report

M. Laurent (Monique) and S. Poljak

January 1995
The Wouthuysen equation Tech Report

M. Hazewinkel (Michiel)

January 1995
Verification of a distributed summation algorithm Tech Report

F.W. Vaandrager (Frits)

January 1995
A new algorithm for the recognition of series parallel graphs Tech Report

L.A.M. Schoenmakers (Berry)

January 1995
A calculus of transition systems (towards universal coalgebra) Tech Report

J.J.M.M. Rutten (Jan)

January 1995
A reference model for teleconferencing systems Tech Report

C. Bonini, W.J. Fokkink (Wan) and A. Lesch (Arek)

January 1995

Previous

Next