Volume 113, Number 1, 1993 Selected Papers of the 8th Annual Symposium on Theoretical Aspects of Computer Science (STACS'91), Hamburg, Germany, February 14-16, 1991
: Probablistic Polynomials, AC0 Functions, and the Polynomial-Time Hierarchy.
Volume 113, Number 2, 1993
: A True Concurrency Model of CCS Semantics.
: Generating Plans in Linear Logic I. A Geometry of Conjunctive Actions.