Centrum Wiskunde & Informatica

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
A model for I/O in equational languages with don't care non-determinism Tech Report

H.R. Walters (Pum) and J.F.T. Kamperman (Jasper)

January 1995
Structured adaptive finite-volume multigrid for compressible flows In Proceedings

H.T.M. van der Maarel (Eric) and P.W. Hemker (Piet)

January 1995
Termination for direct sums of left-linear complete term rewriting systems Article

Journal of the Association for Computing Machinery, 42(6), 1275-1304.

Y. Toyama, J.W. Klop (Jan Willem) and H.P. Barendregt (Henk)

January 1995
High performance support for OO traversals in Monet Tech Report

P.A. Boncz (Peter), F. Kwakkel and M.L. Kersten (Martin)

January 1995

Previous

Next