Centrum Wiskunde & Informatica

Studies in pure PROLOG : termination Tech Report

K.R. Apt (Krzysztof) and D. Pedreschi

January 1990
On the role of delegation and inheritance in object-oriented database systems Tech Report

D.B.M. Otten (Daan) and P.J.W. ten Hagen (Paul)

January 1990
Process algebra with zero object Tech Report

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

January 1990
Resolution and logical consequences Tech Report

L. Kossen

January 1990
Back and forth bisimulations Tech Report

R. De Nicola (Rocco), U. Montanari and F.W. Vaandrager (Frits)

January 1990
Reactive, generative, and stratified models of probabilistic processes Tech Report

R.J. van Glabbeek (Rob), S.A. Smolka, B. Steffen and C.M.N. Tofts

January 1990
Three logics for branching bisimulation Tech Report

R. De Nicola (Rocco) and F.W. Vaandrager (Frits)

January 1990
Asymptotic theory of M-estimators in general statistical models. Part I: On asymptotic behaviour of estimators under model disturbance Tech Report

R.J. Chitashvili, N.L. Lazrieva and T.A. Toronjadze

January 1990

Previous

Next