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 1989
-
Control flow versus logic: a denotational and a declarative model for guarded Horn clauses In Proceedings
F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)
January 1989 -
January 1989 -
January 1989 -
Analysis of a six-component atmospheric spectral model: chaos, predictability and vacillation Article
Physica - D, Nonlinear Phenomena, 36(3), 222-234.January 1989 -
On semigroups and populations In Proceedings
January 1989 -
Non-Gaussian linear filtering, identification of linear systems, and the symplectic group In Proceedings
January 1989 -
On the strong connectivity problem Book Chapter
January 1989