Centrum Wiskunde & Informatica

The certainty factor model and its basis in probability theory Tech Report

L.C. van der Gaag

January 1988
Appraising fairness in languages for distributed programming Tech Report

K.R. Apt (Krzysztof), N. Francez and S. Katz

January 1988
Term rewriting systems with rule priorities Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and W.P. Weijland

January 1988
Towards shorter algebraic specifications: a simple language definition and its compilation to PROLOG Tech Report

J. Heering (Jan) and P. Klint (Paul)

January 1988
Some observations on redundancy in a context Tech Report

F.W. Vaandrager (Frits)

January 1988
State representations of linear systems with output constraints Tech Report

J.M. Schumacher (Hans)

January 1988
Multigrid and defect correction for the steady Navier-Stokes equations Tech Report

B. Koren (Barry)

January 1988
The use of smoothing techniques in the method of lines Tech Report

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

January 1988

Previous

Next