CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Approximation of parabolic PDEs with a discontinuous initial condition Article
East-West Journal of Numerical Mathematics, 1(4), 287-302.January 1993 -
On optimality of regular projective estimators in semimartingale models Article
Stochastics Stochastics Reports, 43(3-4), 161-178.January 1993 -
January 1993
-
The strong law of large numbers for martingales with deterministic quadratic variation Article
Stochastics Stochastics Reports, 42(1), 53-65.January 1993 -
Reasoning about termination of pure Prolog programs Article
Information and Computation, 106(1), 109-157.January 1993 -
The group $L(2,61)$ embeds in the Lie group of type $Esb 8$ Article
Communications in Algebra, 21(6), 1889-1993.January 1993 -
Isomorphisms between predicate and state transformers In Proceedings
January 1993 -
Combinatory reduction systems: introduction and survey. A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday. Article
Theoretical Computer Science, 121(1-2), 279-308.J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)
January 1993