CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2001
-
mCRL: a toolset for analysing algebraic specifications In Proceedings
S.C.C. Blom (Stefan), W.J. Fokkink (Wan), J.F. Groote (Jan Friso), I.A. van Langevelde, B. Lisser (Bert) and J.C. van de Pol (Jaco)
January 2001
-
Just-in-time : on strategy annotations Article
Electronic Notes in Theoretical Computer Science, 1-23.January 2001
-
Review of "Logic in Computer Science: Modelling and reasoning about systems" by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press 2000 Article
InterChange - Newsletter of the International SGML/XML Users' Group, 1-3.January 2001
-
The candy model: properties and inference Tech Report
January 2001
-
ROS3P---an accurate third-order Rosenbrock solver designed for parabolic problems Article
BIT : Numerical Mathematics, 41(4), 731-738.January 2001 -
Two oracles that force a big crunch Article
Computational Complexity, 10(2), 93-116.H.M. Buhrman (Harry), S. Fenner, L. Fortnow (Lance) and L. Torenvliet (Leen)
January 2001
-
On the representation of functions and finite difference operators on adaptive dyadic grids Article
Computational Methods in Applied Mathematics, 1(3), 222-241.January 2001