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

    Steps into a geometer's workbench Tech Report

    V. Akman (Varol)

    January 1987
  • thumb

    $ACP_ au$: a universal axiom system for process specification Tech Report

    J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

    January 1987
  • thumb

    A fully abstract semantics for data flow nets Tech Report

    J.N. Kok (Joost)

    January 1987
  • thumb

    An Amoeba replicated service organisation Tech Report

    I. Shizgal

    January 1987
  • thumb

    Atomic multireader register Tech Report

    L.M. Kirousis, E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

    January 1987
  • thumb

    On proving register atomicity Tech Report

    B. Awerbuch, L.M. Kirousis, E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

    January 1987
  • thumb

    Design and implementation of elementary functions in ADA Tech Report

    J. Kok (Jan)

    January 1987
  • thumb

    Implementation of elementary functions in ADA Tech Report

    M. Bergman

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