Centrum Wiskunde & Informatica

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
Domain-specific languages Tech Report

A. van Deursen (Arie), P. Klint (Paul) and J.M.W. Visser (Joost)

January 2000
New limit theorems for regular diffusion processes with finite speed measure Tech Report

J.H. van Zanten (Harry)

January 2000
Grey-scale morphology based on fuzzy logic Tech Report

T.-Q. Deng and H.J.A.M. Heijmans (Henk)

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

J.H. van Zanten (Harry)

January 2000
Time-stamped actions in pCRL algebras Tech Report

M.B. van der Zwaag

January 2000
Binary decision diagrams by shared rewriting Tech Report

J.C. van de Pol (Jaco) and H. Zantema (Hans)

January 2000

Previous

Next