Centrum Wiskunde & Informatica

Bounded nondeterminism and the approximation induction principle in process algebra Tech Report

R.J. van Glabbeek (Rob)

January 1986
Preservation of products by functors close to reflectors Tech Report

M. Husek and J. de Vries (Jan)

January 1986
Edge-disjoint homotopic paths in a planar graph with one hole Tech Report

C. van Hoesel and A. Schrijver (Lex)

January 1986
Polyhedral combinatorics : some recent developments and results Tech Report

A. Schrijver (Lex)

January 1986
Plaatsdiscretisatie van hyperbolische differentiaalvergelijkingen van de tweede orde met periodieke oplossingen [Spatial discretization of hyperbolic differential equations of the second order with periodical solutions] Tech Report

T.P. de Vries

January 1986
A syntax definition formalism Tech Report

J. Heering (Jan) and P. Klint (Paul)

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

J.G. Blom (Joke), J.M. Sanz-Serna and J.G. Verwer (Jan)

January 1986

Previous

Next