university website Publications by Year
  • sign in

Publication

  • thumb

    On the zeros of the error term for the mean square of $vert zeta(frac {1}{2}+it)vert $ Article

    Mathematics of Computation, 56(193), 303-328.

    A. Ivic and H.J.J. te Riele (Herman)

    January 1991
  • thumb

    Wij zullen het niet vergeten Book Chapter

    T. van Campenhout

    January 1991
    open access
  • thumb

    Twee obolen Book Chapter

    G.Y. Nieuwland

    January 1991
    open access
  • thumb

    Direct zero knowledge proofs of computational power in five rounds In Proceedings

    T. Okamoto, D. Chaum (David) and K. Ohta

    January 1991
  • thumb

    Efficient multigrid computation of steady hypersonic flows Book Chapter

    B. Koren (Barry) and P.W. Hemker (Piet)

    January 1991
  • thumb

    Proving termination of general Prolog programs In Proceedings

    K.R. Apt (Krzysztof) and D. Pedreschi

    January 1991
  • Functional programming with bananas, lenses, envelopes and barbed wire In Proceedings

    E. Meijer, M.M. Fokkinga (Maarten) and R. Paterson

    January 1991
  • thumb

    Concurrency semantics based on metric domain equations In Proceedings

    J.W. de Bakker (Jaco) and J.J.M.M. Rutten (Jan)

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