Foundations of software technology and theoretical computer science

proceedings

Mathematical foundations of programming semantics

international conference, Manhattan, Kansas, April 11-12, 1985

Negation and control in PROLOG

CONPAR 86

conference on algorithms and hardware for parallel processing, Aachen, September 17-19, 1986

TEX for scientific documentation

second European conference, Strasbourg, France, June 19-21, 1986