CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 -
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
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