Centrum Wiskunde & Informatica

Relational methods in logic, language and information Tech Report

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

January 1995
The bakery protocol : a comparitive case-study in formal verification Tech Report

W.O.D. Griffioen and H.P. Korver

January 1995
Proof-checking an audio control protocol with LP Tech Report

W.O.D. Griffioen

January 1995
Entropy conditions for heterogeneity induced shocks in two-phase flow problems Tech Report

J. Molenaar (Gijs)

January 1995
Partial logics with two kinds of negation as a foundation for knowledge-based reasoning Tech Report

H. Herre, J.O.M. Jaspars and G. Wagner

January 1995
Multi-authority secret-ballot elections with linear work Tech Report

R.J.F. Cramer (Ronald), M. Franklin, L.A.M. Schoenmakers (Berry) and M. Yung (Moti)

January 1995
On a class of one-dimensional random walks Tech Report

O.J. Boxma (Onno) and V.I. Lotov

January 1995
LGO : an implementation of a Lipschitzian global optimization procedure Tech Report

J.D. Pintér

January 1995

Previous

Next