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

    Parallel step-by-step methods Tech Report

    P.J. van der Houwen (Piet)

    January 1991
    open access
  • thumb

    A rewrite approach to polynomial ideal theory Tech Report

    A. Middeldorp and M. Starcevic

    January 1991
    open access
  • thumb

    Counterexamples to completeness results for basic narrowing Tech Report

    A. Middeldorp and E. Hamoen

    January 1991
    open access
  • thumb

    Fine-grain incremental implementation of algebraic specifications Tech Report

    E.A. van der Meulen (Emma)

    January 1991
    open access
  • thumb

    An executable semantics for a subset of COLD Tech Report

    A.S. Klusener (Steven)

    January 1991
    open access
  • thumb

    An analytical solution to the consistency problem for the Littlewood model in software reliability Tech Report

    L.G. Barendregt and M.C. J. van Pul (Mark)

    January 1991
    open access
  • thumb

    Geometric constraint satisfaction Tech Report

    R.C. Veltkamp (Remco) and F. Arbab (Farhad)

    January 1991
    open access
  • thumb

    Strong sequentiality of left-linear overlapping term rewriting systems Tech Report

    Y. Toyama

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