CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Linear time and branching time semantics for recursion with merge In Proceedings
J.W. de Bakker (Jaco), J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.-J.C. Meyer (John-Jules)
January 1983 -
Multigrid methods: development of fast solvers Article
Applied Mathematics and Computation, 13(3-4), 311-326.P.W. Hemker (Piet), R. Kettler, P. Wesseling and P.M. de Zeeuw (Paul)
January 1983 -
Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor problem Article
Systems & Control Letters, 3(6), 331-340.M. Hazewinkel (Michiel), S.I. Marcus (Steven) and H.J. Sussmann
January 1983 -
Processes and the denotational semantics of concurrency In Proceedings
January 1983 -
January 1983
-
Nonexistence of finite dimensional filters for conditional statistics of the cubic sensor problem Tech Report
M. Hazewinkel (Michiel), S.I. Marcus (Steven) and H.J. Sussmann
January 1983 -
January 1983
-
The uniqueness of the strongly regular graph on $77$ points Article
Journal of Graph Theory, 7(4), 455-461.January 1983