Centrum Wiskunde & Informatica

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

J.W. de Bakker (Jaco) and J.I. Zucker

January 1983
Foundations of computer science IV : distributed systems : [4th advanced course on the foundations of computer science, held in Amsterdam, 14-25.06.1982], part 2: Semantics and logic Book

J.W. de Bakker (Jaco) and J. van Leeuwen (Jan)

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
Defect correction for the solution of a singular perturbation problem In Proceedings

P.W. Hemker (Piet) and P.M. de Zeeuw (Paul)

January 1983
The uniqueness of the strongly regular graph on $77$ points Article

Journal of Graph Theory, 7(4), 455-461.

A.E. Brouwer (Andries)

January 1983

Previous

Next