Volume 183, Number 1, 30 August 1997
: Length Considerations in Context-Free Languages.
: On Computational Complexity of Contextual Languages.
Aldo de Luca
: Sturmian Words: Structure, Combinatorics, and Their Arithmetics.
: On Lindenmayerian Algebraic Sequences.
Volume 183, Number 2, 15 September 1997
Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95), 3-7 July 1995, Montreal, Canada
: On the Decidability of Process Equivalences for the pi-Calculus.
: Petri Nets, Traces, and Local Model Checking.
, Edgar Knapp
: A Foundation for Modular Reasoning About Safety and Progress Properties of State-Based Concurrent Programs.