Centrum Wiskunde & Informatica

Secure international payment and information transfer : towards a multi-currency electronic wallet Book

A. Weber, B. Carter (Bob), B. Pfitzmann, M. Schunter (Matthias), C.J. Stanford and M. Waidner (Michael)

January 1995
On termination of constraint logic programs In Proceedings

L. Colussi (Livio), E. Marchiori and M. Marchiori

January 1995
Transformation and analysis of (constraint) logic programs Dissertation

Networks and Optimization

S. Etalle (Sandro)

January 1995
A multimedia constraint system Tech Report

J.E.A. van Hintum and G.J. Reynolds

January 1995
A perspective on databases and data mining Tech Report

M. Holsheimer, M.L. Kersten (Martin), H. Mannila and H. Toivonen

January 1995
On shared randomness and the size of secure signatures Tech Report

R.J.F. Cramer (Ronald)

January 1995
An implicit-explicit approach for atmospheric transport-chemistry problems Tech Report

J.G. Verwer (Jan), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

January 1995
Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi In Proceedings

C. Hermida and B.P.F. Jacobs

January 1995

Previous

Next