Publication

Logic programming Book Chapter

K.R. Apt (Krzysztof)

Another look at the Brayton-Moser network equations In Proceedings

J.M. Schumacher (Hans)

A parallel insertion heuristic for vehicle routing with side constraints Article

M.W.P. Savelsbergh

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

J.W. Klop (Jan Willem)

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

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

Preface Article

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