CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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
-
January 2000
-
Comparing coordination models and architectures using embeddings Tech Report
M.M. Bonsangue (Marcello), J.N. Kok (Joost) and G. Zavattaro (Gianluigi)
January 2000
-
Behavioural differential equations : a coinductive calculus of streams, automata, and power series Tech Report
January 2000