university website Publications by Year
  • sign in

Publication

  • thumb

    Using transformations to verify parallel programs Book Chapter

    E.R. Olderog (Ernst-RĂ¼diger) and K.R. Apt (Krzysztof)

    January 1991
    open access
  • Efficient computing of least fixpoints in deductive databases In Proceedings

    K.R. Apt (Krzysztof)

    January 1991
  • thumb

    Beste Nuis Book Chapter

    P. de Wolff (Piet)

    January 1991
    open access
  • Multigrid and defect correction for the steady Navier-Stokes equations : application to aerodynamics Book

    B. Koren (Barry)

    January 1991
  • thumb

    The threshold of parallel whistler-mode instability Article

    Annales Geophysique, 30-31.

    S.S. Sazhin and N.M. Temme (Nico)

    January 1991
    open access
  • thumb

    Marginal stability pf parallel whistler-mode waves (asymptotic analysis) Article

    Annales Gepphysicae, 304-308.

    S.S. Sazhin and N.M. Temme (Nico)

    January 1991
    open access
  • thumb

    A new lower bound for the De Bruijn-Newman constant Article

    Numerical Mathematics, 661-667.

    H.J.J. te Riele (Herman)

    January 1991
    open access
  • thumb

    A Structure for Transportable, Dynamic Multimedia Documents In Proceedings

    D.C.A. Bulterman (Dick), G. van Rossum (Guido) and R. van Liere (Robert)

    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