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

    Correctness proofs of distributed termination algorithms Book Chapter

    K.R. Apt (Krzysztof)

    January 1985
    open access
  • thumb

    Review of "Foundations of logic programming" by J.W. Lloyd Article

    Journal of Logic Programming, 233-234.

    K.R. Apt (Krzysztof)

    January 1985
    open access
  • thumb

    Laplace type integrals: transformation to standard form and uniform asymptotic expansions Article

    Quarterly of Applied Mathematics, 43(1), 103-123.

    N.M. Temme (Nico)

    January 1985
    open access
  • thumb

    The numerical solution of nonlinear stiff initial value problems: an analysis of one step methods Book

    W. Hundsdorfer (Willem)

    January 1985
    open access
  • thumb

    Analytic spaces and dynamic programming: a measure-theoretic approach Book

    J.G.F. Thiemann

    January 1985
    open access
  • thumb

    Some large deviation results in statistics Book

    A.D.M. Kester

    January 1985
    open access
  • thumb

    Mixed elliptic-hyperbolic partial differential operators: a case-study in Fourier integral operators Book

    R.J.P. Groothuizen

    January 1985
    open access
  • thumb

    Symmetries for dynamical and Hamiltonian systems Book

    H.M.M. ten Eikelder

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