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

    Rigorous high speed separation of zeros of Riemann's zeta function, 2 Tech Report

    J. van de Lune (Jan) and H.J.J. te Riele (Herman)

    January 1982
  • thumb

    Deciding equivalence of functional schemes for parallel programs : (preprint) Tech Report

    Y.P. Korablin

    January 1982
  • thumb

    Fairness assumptions for CSP in a temporal logic framework : Preprint Tech Report

    R. Kuiper and W.P. de Roever

    January 1982
  • thumb

    Conditional rewrite rules; confluency and termination : Preprint Tech Report

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

    January 1982
  • thumb

    Efficient simulations of multicounter machines (preliminary version) : (preprint) Tech Report

    P.M.B. Vitányi (Paul)

    January 1982
  • thumb

    On infinite computations in denotational semantics : (preprint) Tech Report

    J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules) and J.I. Zucker

    January 1982
  • thumb

    Factoring polynomials with rational coefficients : (preprint) Tech Report

    A.K. Lenstra (Arjen), H.W. Lenstra (Hendrik) and L. Lovász (László)

    January 1982
  • thumb

    Formal proof systems for program equivalence : (preprint) Tech Report

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

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