Centrum Wiskunde & Informatica

Analysis of smoothing operators in the solution of partial differential equations by explicit difference schemes Article

Applied Numerical Mathematics, 6(6), 501-521.

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and F.W. Wubs (Fred)

January 1990
Scheduling identical jobs on uniform parallel machines Article

Statistica Neerlandica, 44(3), 115-123.

M.I. Dessouky, B.J. Lageweg, J.K. Lenstra (Jan Karel) and S.L. van de Velde

January 1990
Proving total correctness of recursive procedures Article

Information and Computation, 84(2), 129-162.

P.H.M. America (Pierre) and F.S. de Boer (Frank)

January 1990
Comparative metric semantics for concurrent Prolog In Proceedings

J.W. de Bakker (Jaco) and J.N. Kok (Joost)

January 1990
Action versus state based logics for transition systems In Proceedings

R. de Nicola and F.W. Vaandrager (Frits)

January 1990
Contractions in comparing concurrency semantics Article

Theoretical Computer Science, 76(2-3), 179-222.

J.N. Kok (Joost) and J.J.M.M. Rutten (Jan)

January 1990
On downward closure ordinals of logic programs Article

Fundamenta Informaticae, 13(1), 67-83.

R. Bagai, M.A. Bezem and M.H. van Emden

January 1990
Improving the stability of predictor-corrector methods by residue smoothing Article

IMA Journal of Numerical Analysis, 10(3), 361-378.

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1990

Previous

Next