university website Publications by Year
  • sign in

Publication

  • Preface Preface

    J.W. de Bakker (Jaco), W.P. de Roever and G. Rozenberg

    January 1993
  • Decidability of bisimulation equivalence for processes generating context-free languages Article

    Journal of the Association for Computing Machinery, 40(3), 653-682.

    J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

    January 1993
  • thumb

    Approximation of parabolic PDEs with a discontinuous initial condition Article

    East-West Journal of Numerical Mathematics, 1(4), 287-302.

    P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

    January 1993
  • On optimality of regular projective estimators in semimartingale models Article

    Stochastics Stochastics Reports, 43(3-4), 161-178.

    K.O. Dzhaparidze (Kacha) and P.J.C. Spreij (Peter)

    January 1993
  • Geometric algorithms and combinatorial optimization Book

    M. Grötschel, L. Lovász (László) and A. Schrijver (Lex)

    January 1993
  • thumb

    The strong law of large numbers for martingales with deterministic quadratic variation Article

    Stochastics Stochastics Reports, 42(1), 53-65.

    K.O. Dzhaparidze (Kacha) and P.J.C. Spreij (Peter)

    January 1993
  • thumb

    Reasoning about termination of pure Prolog programs Article

    Information and Computation, 106(1), 109-157.

    K.R. Apt (Krzysztof) and D. Pedreschi

    January 1993
  • thumb

    The group $L(2,61)$ embeds in the Lie group of type $Esb 8$ Article

    Communications in Algebra, 21(6), 1889-1993.

    A.M. Cohen (Arjeh), R.I. Griess and B. Lisser (Bert)

    January 1993
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close