Volume 28, Number 1, January 1981
Grzegorz W. Wasilkowski
: n-Evaluation Conjecture for Multipoint Iterations for the Solution of Scalar Nonlinear Equations.
: String Matching in Real Time.
Volume 28, Number 2, April 1981
: A Decision Procedure for the Correctness of a Class of Programs.
C. K. Chu
: A Note on Multiple Error Detection in ASCII Numeric Data Communication.
Gaston H. Gonnet
: Expected Length of the Longest Probe Sequence in Hash Code Searching.
: The Closure Statement: A Programming Language Construct Allowing Ultraconcurrent Execution.
Volume 28, Number 3, July 1981
Mark E. Stickel
: A Unification Algorithm for Associative-Commutative Functions.
: Connected Component Labeling Using Quadtrees.
Volume 28, Number 4, October 1981
: Algorithmic Analysis of a Multiprogramming-Multiprocessor Computer System.
: A Simpler Construction for Showing the Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars.