Centrum Wiskunde & Informatica

Comparing negation in logic programming and in Prolog Tech Report

K.R. Apt (Krzysztof) and F. J. M. Teusink (Frank)

January 1994
Some uses of constructive negation for classical problems in non-monotonic reasoning Tech Report

E. Marchiori

January 1994
Formal methods in the development of PREMO Tech Report

D.A. Duce, D.J. Duke, P.J.W. ten Hagen (Paul), I. Herman (Ivan) and G.J. Reynolds

January 1994
The STO-problem is NP-hard Tech Report

K.R. Apt (Krzysztof), P. van Emde Boas (Peter) and A. Welling

January 1994
The algebra of modal logic Tech Report

P. Blackburn (Patrick), M. de Rijke (Maarten) and Y. Venema

January 1994
Load sharing in models with communication delays Tech Report

R.A.B. van der Geest

January 1994
An $ H_infty $-parameter estimator and its interpretation Tech Report

A.A. Stoorvogel and J.H. van Schuppen (Jan)

January 1994
Equilibrium and transient system effectiveness of a production unit with an output buffer Tech Report

P.R. de Waal and S.G. Vanneste

January 1994

Previous

Next