CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Proving terminations of parallel programs Book Chapter
K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)
January 1990
-
Studies in Pure Prolog: termination In Proceedings
January 1990
-
On a biorthogonal system associated with uniform asymptotic expansions Article
IMA Journal of Applied Mathematics, 44(1), 1-25.January 1990 -
Machine allocation problems in manufacturing networks In Proceedings
January 1990 -
Vectorization of the odd-even hopscotch scheme and the alternating direction implicit scheme for the two-dimensional Burgers equations Article
Journal on Scientific and Statistical Computing, 11(2), 354-367.January 1990 -
January 1990
-
January 1990
-
January 1990