Volume 38, Number 1, January 1991
Dan E. Willard
: Optimal Sample Cost Residues for Differential Database Batch Query Problems.
: Evaluation of Queries in Independent Database Schemes.
: Upper and Lower Bounds on Switching Energy in VLSI.
Volume 38, Number 2, April 1991
Randal E. Bryant
: A Methodology for Hardware Verification Based on Logic Simulation.
: Space-Bounded Probabilistic Game Automata.
Volume 38, Number 3, July 1991
: Complexity Classes Defined by Counting Quantifiers.
Volume 38, Number 4, October 1991
: Structural Conditions for Perturbation Analysis of Queuing Systems.