Publication
-
Preface Preface
January 1993 -
Decidability of bisimulation equivalence for processes generating context-free languages Article
Journal of the Association for Computing Machinery, 40(3), 653-682.January 1993 -
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