Volume 39, Number 1, January 1992
: An O(log(N)) Deterministic Packet-Routing Scheme.
: Syntactical Characterization of a Subset of Domain-Independent Formulas.
Volume 39, Number 2, April 1992
: The Generation of Binary Trees as a Numerical Problem.
Eugene W. Myers
: A Four Russians Algorithm for Regular Expression Pattern Matching.
Volume 39, Number 3, July 1992
Joseph Y. Halpern
, Lenore D. Zuck
: A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols.
Volume 39, Number 4, October 1992
: IP = PSPACE: Simplified Proof.