Centrum Wiskunde & Informatica

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
Uniform asymptotic approximation of Fermi-Dirac integrals Article

Journal of Computational and Applied Mathematics, 31(3), 383-387.

N.M. Temme (Nico) and A.B. Olde Daalhuis

January 1990
Affine polar spaces Article

Geometriae Dedicata, 35(1-3), 43-76.

A.M. Cohen (Arjeh) and E.E. Shult

January 1990

Previous

Next