Centrum Wiskunde & Informatica

Periodicity and absolute regularity Tech Report

H.C.P. Berbee (Henri)

January 1983
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
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

Previous

Next