CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
The nuclear microprobe used to investigate meteorites Article
Nuclear Instruments and Methods in Physics Research B, 104(1), 395-395.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