Centrum Wiskunde & Informatica

A linear-time transformation of linear inequalities into conjunctive normal form Tech Report

J.P. Warners (Joost)

January 1996
Implicit induction techniques for the verification of PIM : a transformational toolkit for compilers Tech Report

D. Naidich and T.B. Dinesh

January 1996
Fluid queues and regular variation Tech Report

O.J. Boxma (Onno)

January 1996
Algebraic verification of a distributed summation algorithm Tech Report

J.F. Groote (Jan Friso) and J.G. Springintveld

January 1996
Complexity of transformation-based optimizers and duplicate-free generation of alternatives Tech Report

A.J. Pellenkoft (Jan), C.A. Galindo-Legaria (César) and M.L. Kersten (Martin)

January 1996
On multi-query optimization Tech Report

S.R. Choenni (Sunil), M.L. Kersten (Martin), J.F.P. van den Akker (Johan) and A. Saad

January 1996
A framework for query optimization to support data mining Tech Report

S.R. Choenni (Sunil) and A.P.J.M. Siebes (Arno)

January 1996
Generalized metric spaces : completion, topology, and powerdomains via the Yoneda embedding Tech Report

M.M. Bonsangue (Marcello), F. van Breugel and J.J.M.M. Rutten (Jan)

January 1996

Previous

Next