Centrum Wiskunde & Informatica

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