Volume 42, Number 1, January 1995
Paul B. Callahan
, S. Rao Kosaraju
: A Decomposition of Multidimensional Point Sets with Applications to k-Nearest-Neighbors and n-Body Potential Fields.
C. S. Chang
, R. Nelson
: Bounds on the Speedup and Efficiency of Partial Synchronization in Parallel Processing Systems.
Volume 42, Number 2, March 1995
Kenneth L. Clarkson
: Las Vegas Algorithms for Linear and Integer Programming when the Dimension is Small.
Volume 42, Number 3, May 1995
Volume 42, Number 4, July 1995
: Translating Default Logic into Standard Autoepistemic Logic.
: A Constant-Time Optimal Parallel String-Matching Algorithm.
Volume 42, Number 5, September 1995
Rakesh M. Verma
: A Theory of Using History for Equational Systems with Applications.
: Eigenvalues and Expansion of Regular Graphs.
Volume 42, Number 6, November 1995
Jan A. Bergstra
, J. V. Tucker
: Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras.