Centrum Wiskunde & Informatica

Iterative defect correction and multigrid accelerated explicit time stepping schemes for the steady Euler equations Tech Report

M.H. Lallemand and B. Koren (Barry)

January 1989
Termination for direct sums of left-linear complete term rewriting systems Tech Report

Y. Toyama, J.W. Klop (Jan Willem) and H.P. Barendregt (Henk)

January 1989
Refinement in branching time semantics Tech Report

R.J. van Glabbeek (Rob) and W.P. Weijland

January 1989
2.5 Dimensional graphics systems Tech Report

I. Herman (Ivan)

January 1989
Random Markov processes and uniform martingales Tech Report

S. Kalikow

January 1989
A new approach to formal language theory by Kolmogorov complexity Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1989
$\theta$ -government, thematic government and extraction asymmetries in zero derivation Tech Report

H. Walinska de Hackbeil (Hanna)

January 1989
On downward closure ordinals of logic programs Tech Report

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

January 1989

Previous

Next