Centrum Wiskunde & Informatica

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

K.R. Apt (Krzysztof) and D. Pedreschi

January 1990
On a biorthogonal system associated with uniform asymptotic expansions Article

IMA Journal of Applied Mathematics, 44(1), 1-25.

K. Soni and N.M. Temme (Nico)

January 1990
Machine allocation problems in manufacturing networks In Proceedings

O.J. Boxma (Onno), A.H.G. Rinnooy Kan and M. van Vliet

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.

E.D. de Goede (Erik) and J.H.M. ten Thije Boonkkamp

January 1990
Lambertus Zijl's in steen gehouwen medaillons Book

J. Nuis

January 1990
Programmig in Alma-0, or imperative and declarative programming reconciled Book Chapter

K.R. Apt (Krzysztof) and A. Schaerf

January 1990
Synthesis of images Book

M. Bret

January 1990

Previous

Next