Volume 26, Number 1, September 1987
Volume 26, Number 2, October 1987
: A Halving Technique for the Longest Stuttering Subsequence Problem.
: Performance Evaluation of Concurrent Systems Using Conflict-Free and Persistent Petri Nets.
, Moti Yung
: Partitioned Encryption and Achieving Simultaneity by Partitioning.
Volume 26, Number 3, November 1987
: Arithmetical Axiomatization of First-Order Temporal Logic.
: Trinity Algebra and its Application to Machine Decompositions.
Volume 26, Number 4, December 1987
: Extension Functions for Multiset Orderings.
Volume 26, Number 5, January 1988
: A Polynomial Characterization of Some Graph Partitioning Problems.
Stephen A. Cook
: Short Propositional Formulas Represent Nondeterministic Computations.
Joel I. Seiferas
: A Variant of Ben-Or's Lower Bound for Algebraic Decision Trees.
Volume 26, Number 6, January 1988
: The Boundedness Problem for Three-Dimensional Vector Addition Systems with States.
: Yet Another Distributed Depth-First-Search Algorithm.