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

Representation of $ S_ n $ and the geometry of linear systems In Proceedings

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

January 1980
Representation of $ S_ n $ and the geometry of linear systems Tech Report

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

January 1980
On the relationship between Lie algebras and nonlinear estimation In Proceedings

M. Hazewinkel (Michiel) and S.I. Marcus (Steven)

January 1980
A mesh-parameter continuation method Tech Report

S.J. Polak, A. Wachters, T. Beelen and P.W. Hemker (Piet)

January 1980
Completeness with finite systems of intermediate assertions for recursive program schemes Article

SIAM Journal on Computing, 665-671.

K.R. Apt (Krzysztof) and L.G.L.T. Meertens (Lambert)

January 1980
A proof system for communicating sequential processes Article

ACM Transactions on Programming Languages and Systems, 2(3), 359-386.

K.R. Apt (Krzysztof), N. Francez and W.P. de Roever

January 1980
Introduction to geometrical methods for the theory of linear systems In Proceedings

M. Hazewinkel (Michiel)

January 1980
Introduction to geometrical methods for the theory of linear systems Tech Report

C.I. Byrnes, M. Hazewinkel (Michiel), C.F. Martin (Clyde) and Y. Rouchaleau

January 1980

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