Centrum Wiskunde & Informatica

Loop checking in partial deduction Tech Report

R.N. Bol

January 1991
Real space process algebra Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

January 1991
Term rewriting analysis in process algebra Tech Report

G.J. Akkerman and J.C.M. Baeten (Jos)

January 1991
An algebraic specification for the static semantics of Pascal Tech Report

A. van Deursen (Arie)

January 1991
Optimality of wait-free atomic multiwriter variables Tech Report

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

January 1991
The GKS input model in Manifold Tech Report

D. Soede, F. Arbab (Farhad), I. Herman (Ivan) and P.J.W. ten Hagen (Paul)

January 1991
Combinatorics and Kolmogorov complexity Tech Report

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

January 1991
Hyperasymptotic expansions of confluent hypergeometric functions Tech Report

A.B. Olde Daalhuis

January 1991

Previous

Next