Centrum Wiskunde & Informatica

Modal model theory Tech Report

M. de Rijke (Maarten)

January 1995
Interaction objects in the MADE multimedia environment Tech Report

F.C. Heeman, I. Herman (Ivan) and G.J. Reynolds

January 1995
Transformations of CLP modules Tech Report

S. Etalle (Sandro) and M. Gabbrielli

January 1995
Partial up and down logic Tech Report

J.O.M. Jaspars

January 1995
Restrictive blinding of secret-key certificates Tech Report

S.A. Brands (Stefan)

January 1995
Ntyft/ntyxt rules reduce to ntree rules Tech Report

W.J. Fokkink (Wan) and R.J. van Glabbeek (Rob)

January 1995
Elements of generalized ultrametric domain theory Tech Report

J.J.M.M. Rutten (Jan)

January 1995
Off-line electronic cash based on secret-key certificates Tech Report

S.A. Brands (Stefan)

January 1995

Previous

Next