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

    Primality proving with cyclotomy Dissertation

    W. Bosma (Wieb) and M.-P. van der Hulst (Marc-Paul)

    December 1990
  • thumb

    Discretization of morphological operators Tech Report

    H.J.A.M. Heijmans (Henk)

    January 1991
    open access
  • thumb

    Implementing higher-order algebraic specifications Tech Report

    J. Heering (Jan)

    January 1991
  • thumb

    Datatype laws without signatures Tech Report

    M.M. Fokkinga (Maarten)

    January 1991
    open access
  • thumb

    Calculate categorically ! Tech Report

    M.M. Fokkinga (Maarten)

    January 1991
    open access
  • thumb

    CCS for OO and LP Tech Report

    J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

    January 1991
    open access
  • thumb

    A proof theory for the language POOL Tech Report

    F.S. de Boer (Frank)

    January 1991
    open access
  • thumb

    A pointwise criterion for controller robustness Tech Report

    J.M. Schumacher (Hans)

    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