Centrum Wiskunde & Informatica

An infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

January 1990
Finite-dimensional soliton systems Tech Report

S.N.M. Ruijsenaars (Simon)

January 1990
Introduction to program verification Tech Report

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

January 1990
The basic reproduction ratio for sexually transmitted diseases, part I: theoretical considerations Tech Report

O. Diekmann (Odo), K. Dietz and J.A.P. Heesterbeek (Hans)

January 1990
A proof of the relativized, non-metric form of Furstenberg's structure theorem Tech Report

J. de Vries (Jan)

January 1990
Twisted Yangians and infinite-dimensional classical Lie algebras Tech Report

G.I. Olshanskii

January 1990
Complex Lie semigroups, Hardy spaces and the Gelfand-Gindikin program Tech Report

G.I. Olshanskii

January 1990
Adjoints of semigroups acting on vector-valued function spaces Tech Report

G. Greiner and J.M.A.M. van Neerven (Jan)

January 1990

Previous

Next