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 1986 -
January 1986 -
January 1986 -
January 1986 -
January 1986 -
A syntax definition formalism Tech Report
January 1986 -
Decidability of bisimulation equivalence for processes generating context-free languages Tech Report
J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)
January 1986 -
On simple moving grid methods for one-dimensional evolutionary partial differential equations Tech Report
January 1986