Volume 32, Number 1, July 1989
: The Hamiltonian Circuit Problem for Circle Graphs is NP-Complete.
Neil J. Gunther
: Path Integral Methods for Computer Performance Analysis.
A. Prasad Sistla
: On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification.
: An Improvement of Goldberg, Plotkin and Vaidya's Maximal Node-Disjoint Paths Algorithm.
Volume 32, Number 2, July 1989
Volume 32, Number 3, August 1989
: Minimization of resource consumption under a given deadline in the two-processor flow-shop scheduling problem.
: Efficient monotone circuits for threshold functions.
Andrzej M. Goscinski
: A synchronization algorithm for processes with dynamic priorities in computer networks with node failures.
Joseph M. Morris
: Well-founded induction and the invariance theorem for loops.
Volume 32, Number 4, 1 September 1989
: A Note on the Hamiltonian Circuit Problem on Directed Path Graphs.
: A Note on the Papadimitriou-Silverberg Algorithm for Planning Optimal Piecewise-Linear Motion of a Ladder.
: Voronoi Diagrams with Barriers and the Shortest Diagonal Problem.
Ravi S. Sandhu
: The Demand Operation in the Schematic Protection Model.
Volume 32, Number 5, 22 September 1989
Jan van den Bos
: PROCOL: A Protocol-Constrained Concurrent Object-Oriented Language.
: A One-to-One Correspondence between two Classes of Ordered Trees.
: Cooperating Proofs for Distributed Programs with Multiparty Interactions.
, Friedrich J. Urbanek
: Factorial Languages with Quadratically Upper Bounded Growth Functions and Nonlinearly Upper Bounded Subword Complexities.
: On the Subtree Isomorphism Problem for Ordered Trees.
Volume 32, Number 6, October 1989
: A Parallel Algorithm for the Maximum 2-Chain Edge Packing Problem.
: Boundedness is Undecidable for Datalog Programs with a Single Recursive Rule.
: Optimal Incremental Simple Multi-Pass Attribute Evaluation.
, Y. N. Srikant
: A Class of Problems Efficiently Solvable on Mesh-Connected Computers Including Dynamic Expression Evaluation.
: Fast Knuth-Bendix Completion with a Term Rewriting System Compiler.