CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Decidability of bisimulation equivalence for processes generating context-free languages In Proceedings
J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1987 -
Low order spectral models of the atmospheric circulation In Proceedings
January 1987 -
Term rewriting systems with priorities In Proceedings
J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1987 -
Approximating the projective model In Proceedings
January 1987 -
Multigrid methods for elliptic PDEs Book Chapter
January 1987 -
Fixed point equations with parameters in the projective model Article
Information and Computation, 75(3), 264-288.January 1987 -
January 1987 -
January 1987