university website Publications by Year
  • sign in

Publication

  • Associative storage modification machines Book Chapter

    J.T. Tromp (John) and P. van Emde Boas (Peter)

    January 1993
  • thumb

    Parallel block predictor-corrector methods of Runge-Kutta type In Proceedings

    P.J. van der Houwen (Piet) and Huu Cong Nguyen

    January 1993
  • An introduction to Kolmogorov complexity and its applications Book

    M. Li (Ming) and P.M.B. Vitányi (Paul)

    January 1993
  • thumb

    On the foundations of final semantics: nonstandard sets, metric spaces, partial orders In Proceedings

    J.J.M.M. Rutten (Jan) and D. Turi

    January 1993
  • Tight comparison bounds for the string prefix-matching problem In Proceedings

    D. Breslauer (Dany), L. Colussi (Livio) and L. Toniolo (Laura)

    January 1993
  • thumb

    Modular specification of process algebras Article

    Theoretical Computer Science, 113(2), 293-348.

    R.J. van Glabbeek (Rob) and F.W. Vaandrager (Frits)

    January 1993
  • thumb

    Analysis of local uniform grid refinement In Proceedings

    J.G. Verwer (Jan) and R.A. Trompert (Ronald)

    January 1993
  • thumb

    Wavelet bases adapted to inhomogeneous cases Book Chapter

    P.W. Hemker (Piet) and F. Plantevin

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