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

    Hypothetical-reasoning and radical non-constituent coordination in categorical logic Tech Report

    N. Francez

    January 1997
    open access
  • thumb

    Alma-0: an imperative language that supports declarative programming Tech Report

    K.R. Apt (Krzysztof), J. Brunekreef, V. Partinton and A. Schaerf

    January 1997
    open access
  • thumb

    A model for strategy in constraint solving Tech Report

    J.J. van Wijk (Jack)

    January 1997
    open access
  • The use of defect correction for the solution of parabolic singular perturbation problems Article

    ZAMM - Zeitschrift für angewandte Mathematik und Mechanik, 77(1), 59-74.

    P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

    January 1997
  • thumb

    Validating year 2000 compliance Tech Report

    A. van Deursen (Arie), P. Klint (Paul) and M.P.A. Sellink

    January 1997
    open access
  • thumb

    Program plan recognition for year 2000 tools Tech Report

    A. van Deursen (Arie), S. Woods and A. Quilici

    January 1997
    open access
  • thumb

    Weighted colimits and formal balls in generalized metric spaces Tech Report

    J.J.M.M. Rutten (Jan)

    January 1997
    open access
  • thumb

    Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems Tech Report

    J.P. Warners (Joost)

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