Volume 73, Number 1, 1990
: On the Interpretability of Arithmetic in Temporal Logic.
: Exact Average Message Complexity Values for Distributed Election on Bidirectional Rings of Processors.
, Axel Poigné
: A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Category.
Volume 73, Number 2, 1990
: Adding Relational Query Facilities to Software Development Environments.
: Deforestation: Transforming Programs to Eliminate Trees.
Volume 73, Number 3, 1990
: The Difference Between one Tape and two Tapes: with Respect to Reversal Complexity.
: Complexity and Decidability for Restricted Classes of Picture Languages.
J. M. Robson
: Strong Time Bounds: Non-Computable Bounds and a Hierarchy Theorem.
: The Set of Strings Mapped Into a Submonoid by Iterates of a Morphism.
: Hopf Algebras and Identities in Free Partially Commutative Monoids.