CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Polyhedral proof methods in combinatorial optimization Article
Discrete Applied Mathematics, 113-133.January 1986
-
Geometric methods in discrete optimization Article
Mathematics and Computer Science II (M. Hazewinkel, et al., eds.), 111-137.January 1986
-
Computation of layers in Eulerian gas flow In Proceedings
January 1986
-
January 1986
-
January 1986
-
Pattern formation for a one-dimensional evolution equation based on Thom's river basin model Book Chapter
January 1986
-
Countable nondeterminism and random assignment Article
Journal of the ACM, 724-767.January 1986
-
Syntax directed analysis of liveness properties Article
Information and Control, 223-253.January 1986