Centrum Wiskunde & Informatica

Formal proof systems for program equivalence In Proceedings

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1983

Fairness assumptions for CSP in a temporal logic framework In Proceedings

R. Kuiper and W.P. de Roever

January 1983

Symmetric systems with semisimple structure algebra: the quaternionic case Article

Systems & Control Letters, 3(3), 151-154.

M. Hazewinkel (Michiel), J.H. Lewis and C.F. Martin (Clyde)

January 1983

Estimating the global error of Runge-Kutta approximations for ordinary differential equations In Proceedings

K. Dekker and J.G. Verwer (Jan)

January 1983

Current algebras and the identification problem Article

Stochastics, 11(1-2), 65-101.

P.S. Krishnaprasad, S.I. Marcus (Steven) and M. Hazewinkel (Michiel)

January 1983

Graphs whose neighborhoods have no special cycles Article

Discrete Mathematics, 47(2-3), 177-182.

A.E. Brouwer (Andries), P. Duchet and A. Schrijver (Lex)

January 1983

Initial algebra specifications for parametrized data types Article

Elektronische Informationsverarbeitung und Kybernetik, 19(1-2), 17-31.

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1983

Asymptotic behaviour of Eisenstein integrals Article

Bulletin of the American Mathematical Society, 9(3), 311-314.

E.P. van der Ban

January 1983

CWI Institutional Repository

Formal proof systems for program equivalence In Proceedings

Fairness assumptions for CSP in a temporal logic framework In Proceedings

Symmetric systems with semisimple structure algebra: the quaternionic case Article

Estimating the global error of Runge-Kutta approximations for ordinary differential equations In Proceedings

Current algebras and the identification problem Article

Graphs whose neighborhoods have no special cycles Article

Initial algebra specifications for parametrized data types Article

Asymptotic behaviour of Eisenstein integrals Article

Address

CWI researchers

Questions or comments?

CWI Institutional Repository

Formal proof systems for program equivalence In Proceedings

Fairness assumptions for CSP in a temporal logic framework In Proceedings

Symmetric systems with semisimple structure algebra: the quaternionic case Article

Estimating the global error of Runge-Kutta approximations for ordinary differential equations In Proceedings

Current algebras and the identification problem Article

Graphs whose neighborhoods have no special cycles Article

Initial algebra specifications for parametrized data types Article

Asymptotic behaviour of Eisenstein integrals Article

Workflow

Workflow

Add Content