Volume 15, Number 1, December 1981
: Lower Bounds on the Efficiency of Transforming Static Data sSructures into Dynamic Structures.
: Realization Theory of Infinite-Dimensional linear Systems - Part I.
Volume 15, Number 2, May 1982
James F. Lynch
: Complexity Classes and Theories of Finite Models.
: Realization Theory of Infinite-Dimensional Linear Systems. Part II.
Volume 15, Number 3, July 1982
Walter J. Savitch
: Parallel Random Access Machines with Powerful Instruction Sets.
David B. Benson
: In Scott-Strachey Style Denotational Semantics, Parallelism Implies Nondeterminism.
, Clyde Martin
: Lie and Morse Theory for Periodic Orbits of Vector Fields and Matrix Riccati Equations, I: General Lie-Theoretic Methods.
Volume 15, Number 4, December 1982
: Semantics of Looping Programs in Propositional Dynamic Logic.
Donald B. Johnson
: A Priority Queue in Which Initialization and Queue Operations Take O(log log D) Time.
: The Theory of Equivalence of Pfaffian Systems and Input Systems Under Feedback.
: Some Classes of Automata as Partially Ordered Sets.
A. R. Lubin
: A Note on Single Input Controllability for Normal Systems.