Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

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

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

January 1995
Control of discrete event systems : research at the interface of control theory and computer science Tech Report

A.A.F. Overkamp (Ard) and J.H. van Schuppen (Jan)

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

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close