Centrum Wiskunde & Informatica

Operations in the K-theory of endomorphisms Article

M. Hazewinkel (Michiel)

January 1983
Operations in the K-theory of endomorphisms Tech Report

M. Hazewinkel (Michiel)

January 1983
On identification of linear systems and the estimation Lie-algebra of the associated nonlinear filtering problem In Proceedings

B. Hanzon (Bernard) and M. Hazewinkel (Michiel)

January 1983
Symmetric linear systems : an application of algebraic systems theory Article

International Journal of Control, 37(6), 1371-1384.

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

January 1983
Formal justification of a proof system for communication sequential processes Article

Journal of the ACM, 197-216.

K.R. Apt (Krzysztof)

January 1983
Proof rules and transformations dealing with fairness Article

Science of Computer Programming, 65-100.

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

January 1983
Idiosyncratic remarks by a bibliomaniac Article

Acta Applicandae Mathematicae, 1(3), 315-318.

M. Hazewinkel (Michiel)

January 1983
An axiomatization of the intermittent assertion method using temporal logic In Proceedings

K.R. Apt (Krzysztof) and C. Delporte

January 1983

Previous

Next