Centrum Wiskunde & Informatica

Geometric algorithms and combinatorial optimization Book

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

January 1993
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
Reasoning about termination of pure Prolog programs Article

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

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

January 1993
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
Finding disjoint trees in planar graphs in linear time In Proceedings

B. Reed, N. Robertson (Neil), P.D. Seymour (Paul) and A. Schrijver (Lex)

January 1993
Isomorphisms between predicate and state transformers In Proceedings

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)

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
More problems in rewriting In Proceedings

N. Dershowitz (Nachum), J.-P. Jouannaud and J.W. Klop (Jan Willem)

January 1993

Previous

Next