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

    A logic for variable aliasing in logic programs Tech Report

    E. Marchiori

    January 1994
    open access
  • thumb

    Verification of an audio control protocol Tech Report

    D.J.B. Bosscher (Doeko), I. Polak and F.W. Vaandrager (Frits)

    January 1994
    open access
  • thumb

    A path-based variable-free system for predicate logic Tech Report

    D. Ben-Shalom

    January 1994
    open access
  • thumb

    The integration project for the JACK environment Tech Report

    A. Bouali, S. Gnesi and S. Larosa

    January 1994
    open access
  • thumb

    Indefeasible semantics and defeasible pragmatics Tech Report

    M. Kameyama

    January 1994
    open access
  • thumb

    A survey of program slicing techniques Tech Report

    F. Tip (Frank)

    January 1994
    open access
  • thumb

    Dimensional splitting with unconditional stability for advection on a sphere Tech Report

    W. Hundsdorfer (Willem) and E.J. Spee (Edwin)

    January 1994
    open access
  • thumb

    An investigation of data reuse on the Cray S-MP system 500 Tech Report

    A.J. Stewart, M. Nool (Margreet), H.J.J. te Riele (Herman) and D.T. Winter (Dik)

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