university website Publications by Year
  • sign in

Publication

  • thumb

    Type equivalence, subtyping, and type transformations in object-oriented databases Tech Report

    C.J.E. Thieme and A.P.J.M. Siebes (Arno)

    January 1994
    open access
  • thumb

    Declarative interpretations reconsidered Tech Report

    K.R. Apt (Krzysztof) and M. Gabbrielli

    January 1994
    open access
  • thumb

    Linguistics, logic, and finite trees Tech Report

    P. Blackburn (Patrick) and W. P. M. Meyer Viol (Wilfried)

    January 1994
    open access
  • thumb

    Remark on a theorem of Riddle, Saab, and Uhl Article

    Quaestiones Mathematicae, 17(2), 183-187.

    J.M.A.M. van Neerven (Jan)

    January 1994
  • thumb

    Lazy rewriting on eager machinery Tech Report

    J.F.T. Kamperman (Jasper) and H.R. Walters (Pum)

    January 1994
    open access
  • thumb

    Action-angle maps and scattering theory for some finite-dimensional integrable systems II. Solitons, antisolitons, and their bound states Article

    Publications of the Research Institute for Mathematical Sciences, Kyoto University, 30(6), 865-1008.

    S.N.M. Ruijsenaars (Simon)

    January 1994
  • thumb

    Paths in graphs and curves on surfaces In Proceedings

    A. Schrijver (Lex)

    January 1994
  • Gauss-Seidel iteration for stiff ODEs from chemical kinetics Article

    SIAM Journal on Scientific Computing, 15(5), 1243-1250.

    J.G. Verwer (Jan)

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