CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1980
-
A mesh-parameter continuation method Tech Report
January 1980
-
Completeness with finite systems of intermediate assertions for recursive program schemes Article
SIAM Journal on Computing, 665-671.January 1980
-
A proof system for communicating sequential processes Article
ACM Transactions on Programming Languages and Systems, 2(3), 359-386.January 1980
-
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
-
On the structure of an adaptive multi-level algorithm Article
BIT : Numerical Mathematics, 289-301.January 1980
-
January 1980