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

    An effective axiomatization for real time ACP Tech Report

    W.J. Fokkink (Wan) and A.S. Klusener (Steven)

    January 1995
    open access
  • thumb

    X Python reference manual Tech Report

    K.S. Mullender (Sjoerd)

    January 1995
    open access
  • thumb

    A methodology for proving termination of general logic programs Tech Report

    E. Marchiori

    January 1995
    open access
  • thumb

    A data model for autonomous objects Tech Report

    J.F.P. van den Akker (Johan) and A.P.J.M. Siebes (Arno)

    January 1995
    open access
  • thumb

    Multimedia synchronization Tech Report

    M. Haindl

    January 1995
    open access
  • thumb

    An adaptive image reconstruction method Tech Report

    M. Haindl

    January 1995
    open access
  • thumb

    Infinitary lambda calculus Tech Report

    J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

    January 1995
    open access
  • thumb

    Objects and classes, coalgebraically Tech Report

    B.P.F. Jacobs

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