Volume 11, Number 1, 29 August 1980
: The Decidability of Persistence for Vector Addition Systems.
J. D. Day
: On the Internal S-Stability of Rosenbrock Methods.
J. D. Day
: Comments on: T. D. Bui ``On an L-Stable Method for Stiff Differential Equations''.
Charles R. Dyer
: A Fast Parallel Algorithm for the Closest Pair Problem.
: A Note on Finding Convex Hulls Via Maximal Vectors.
Volume 11, Number 2, 20 October 1980
: A Complement to Tarjan's Result about the Lower Bound on the Complexity of the Set Union Problem.
Friedrich J. Urbanek
: An O(log n) Algorithm for Computing the nth Element of the Solution of a Difference Equation.
, Gary Levin
: Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time.
: A Note on Odd and Even Factors of Undirected Graphs.
: Transformational Semantics for Concurrent Programs.
, Rüdiger Loos
: An Improvement of Rabin's Probabilistic Algorithm for Generating Irreducible Polynomials over GF(p).
Paris C. Kanellakis
: On the Computational Complexity of Cardinality Constraints in Relational Databases.
Ernst L. Leiss
: A Note on a Signature System Based on Probabilistic Logic.
Volume 11, Number 3, 18 November 1980
: Comments on a Lower Bound for Convex Hull Determination.
: Shortest-Path Problem is not Harder Than Matrix Multiplication.
: Internal Merge Sorting with Delayed Selection.
Efim B. Kinber
: On Inclusion Problem for Deterministic Multitape Automata.
Volume 11, Number 4/5, 12 December 1980
: Safe Procedural Implementations of Algebraic Types.
Greg N. Frederickson
: Probabilistic Analysis for Simple One- and Two-Dimensional Bin Packing Algorithms.
: Derivation of an O(k² log n) Algorithm for Computing Order-k Fibonacci Numbers From the O(k³ log n) Matrix Multiplication Method.
Mila E. Majster-Cederbaum
: A Simple Relation Between Relational and Predicate Transformer Semantics for Nondeterministic Programs.
R. K. Arora
, S. P. Rana
: Heuristic Algorithms for Process Assignment in Distributed Computing Systems.
: A Formal System for Parallel Programs in Discrete Time and Space.
J. ten Hoopen
: Consecutive Retrieval with Redundancy: An Optimal Linear and an Optimal Cyclic Arrangement and Their Storage Space Requirements.