CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Fuzzy logic and mathematical morphology Tech Report
January 2000
-
Completeness of timed $ mu $ CRL Tech Report
J.F. Groote (Jan Friso), M.A. Reniers (Michel), J.J. van Wamel and M.B. van der Zwaag
January 2000
-
Expressiveness of basic Splice Tech Report
January 2000
-
Domain-specific languages Tech Report
A. van Deursen (Arie), P. Klint (Paul) and J.M.W. Visser (Joost)
January 2000
-
January 2000
-
January 2000
-
Theorem proving and programming with dynamic first order logic Tech Report
D.J.N. van Eijck (Jan), J.M. Heguiabehere and B. Ó Nualláin (Breanndán)
January 2000
-
Rates of convergence and asymptotic normality of curve estimators for ergodic diffusion processes Tech Report
January 2000