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

    Two normal form theorems for CSP programs Article

    Information Processing Letters, 165-171.

    K.R. Apt (Krzysztof), L. Bougé and P. Clermont

    January 1987
    open access
  • thumb

    Liesegang rings, pattern formation at phase transition experiments and mathemtical modelling Tech Report

    M. Hazewinkel (Michiel), J.F. Kaashoek and B. Leynse

    January 1987
    open access
  • thumb

    A tutorial introduction to differentiable manifolds and calculus on differential manifolds Tech Report

    M. Hazewinkel (Michiel)

    January 1987
    open access
  • thumb

    Optimization of the real level 2 BLAS on the CYBER 205 Book Chapter

    W.M. Lioen (Walter), M. Nool (Margreet) and H.J.J. te Riele (Herman)

    January 1987
    open access
  • Encyclopaedia of Mathematics Book

    January 1987
  • thumb

    Wetenschap in bedrijf : voordrachten van het symposium 'Wetenschap in bedrijf', gehouden op het CWI, Amsterdam, 11.06.1986, t.g.v. het 40-jarig bestaan Book

    January 1987
    open access
  • thumb

    Maintenance of stratified databases viewed as a belief revision system In Proceedings

    K.R. Apt (Krzysztof) and J.-M. Pugin

    January 1987
    open access
  • thumb

    Appraising fairness in languages for distributed programming In Proceedings

    K.R. Apt (Krzysztof), N. Francez and S. Katz

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