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

    Abstraction in real time process algebra Tech Report

    A.S. Klusener (Steven)

    January 1991
    open access
  • thumb

    Lazy scanner generation for modular regular grammars Tech Report

    P. Klint (Paul)

    January 1991
  • thumb

    Fast theorem proving in intuitionistic propositional logic Tech Report

    M.I. Kanovich

    January 1991
    open access
  • thumb

    Analysis of parallel diagonal-implicit iteration of Runge-Kutta methods Tech Report

    P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

    January 1991
  • thumb

    On solving the diophantine equation $ x^ 3 + y^ 3 + z^ 3 = k $ on a vector computer Tech Report

    D.R. Heath-Brown, W.M. Lioen (Walter) and H.J.J. te Riele (Herman)

    January 1991
    open access
  • thumb

    Texture synthesis Tech Report

    M. Haindl

    January 1991
    open access
  • thumb

    Proof theory for $ mu $ -CRL Tech Report

    J.F. Groote (Jan Friso) and A. Ponse (Alban)

    January 1991
  • thumb

    Undecidable equivalences for basic process algebra Tech Report

    J.F. Groote (Jan Friso) and H. Hüttel

    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