CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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
January 1995 -
Transformation and analysis of (constraint) logic programs Dissertation
Networks and OptimizationJanuary 1995 -
A multimedia constraint system Tech Report
January 1995
-
A perspective on databases and data mining Tech Report
M. Holsheimer, M.L. Kersten (Martin), H. Mannila and H. Toivonen
January 1995
-
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
January 1995