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

    Deriving incremental implementations from algebraic specifications Tech Report

    E.A. van der Meulen (Emma)

    January 1990
  • thumb

    Representation and implementation of design knowledge for intlligent CAD : implementational aspects Tech Report

    T. Kiriyama, D. Xue, T. Tomiyama and P. J. Veerkamp (Paul)

    January 1990
  • thumb

    Representation and implementation of design knowledge for intlligent CAD : theoretical aspects Tech Report

    P. J. Veerkamp (Paul), T. Kiriyama, D. Xue and T. Tomiyama

    January 1990
  • thumb

    Four domains for concurrency Tech Report

    J.W. de Bakker (Jaco) and J.H.A. Warmerdam

    January 1990
  • thumb

    Discourse representation theory Tech Report

    D.J.N. van Eijck (Jan)

    January 1990
  • thumb

    A fully abstract model for concurrent logic languages Tech Report

    F.S. de Boer (Frank) and C. Palamidessi (Catuscia)

    January 1990
  • thumb

    Runge-Kutta methods and local uniform grid refinement Tech Report

    R.A. Trompert (Ronald) and J.G. Verwer (Jan)

    January 1990
    open access
  • thumb

    Tait's flyping conjecture for well-connected links Tech Report

    A. Schrijver (Lex)

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