Publication

Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond In Proceedings

J.W. Klop (Jan Willem)

A new strategy for proving $omega$-completeness applied to process algebra In Proceedings

J.F. Groote (Jan Friso)

Diffie-Hellman is as strong as discrete log for certain primes In Proceedings

B. den Boer

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29- June 2, 1989 Proceedings Proceedings

Preface Article

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

Systematic computations on Gauss' lattice point problem (in commemoration of Johannes Gualtherus van der Corput, 1890--1975) In Proceedings

J. van de Lune (Jan) and E. Wattel (Evert)

On large deviation probabilities for the maximum likelihood estimators In Proceedings

K.O. Dzhaparidze (Kacha) and E. Valkeila

Catastrophes and classical surface scattering Article

T.C.M. Horn and A.W. Kleyn