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

    Termination of disjoint unions of conditional term rewriting systems Tech Report

    A. Middeldorp

    December 1989
    open access
  • thumb

    Nieuwjaarskaart CWI 1990 Other

    December 1989
    open access
  • Quantifiers Tech Report

    D.J.N. van Eijck (Jan)

    January 1990
  • thumb

    Deriving incremental implementations from algebraic specifications Tech Report

    E.A. van der Meulen (Emma)

    January 1990
  • Directe numerieke oplosmethoden. Iteratieve numerieke oplosmethoden. De kleinste-kwadratenmethode. Book Chapter

    P.M. de Zeeuw (Paul)

    January 1990
  • thumb

    Approximation algorithms for scheduling unrelated parallel machines Article

    Mathematical Programming, 259-271.

    J.K. Lenstra (Jan Karel), D.B. Shmoys and É. Tardos

    January 1990
    open access
  • thumb

    Transfinite reductions in orthogonal term rewriting systems (extended abstract) Tech Report

    J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

    January 1990
  • Determiners Tech Report

    D.J.N. van Eijck (Jan)

    January 1990
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