university website Publications by Year
  • sign in
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • thumb

    Proving deadlock freedom of logic programs with dynamic scheduling Tech Report

    E. Marchiori and F. J. M. Teusink (Frank)

    January 1996
    open access
  • thumb

    A basic mathematical and numerical model for gas injection Tech Report

    J. Molenaar (Gijs)

    January 1996
    open access
  • thumb

    Algebraic verification of a distributed summation algorithm Tech Report

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

    January 1996
    open access
  • thumb

    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
    open access
  • thumb

    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
    open access
  • thumb

    A framework for query optimization to support data mining Tech Report

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

    January 1996
    open access
  • thumb

    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
    open access
  • thumb

    Tractability issues in extraposition grammar Tech Report

    A.V. Groenink (Annius)

    January 1996
    open access
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close