Volume 62, Number 1, February 2001
: Full Intersection Types and Topologies in Lambda Calculus.
Volume 62, Number 2, March 2001
J. Maurice Rojas
: Computational Arithmetic Geometry I. Sentences Nearly in the Polynomial Hierarchy.
: Quantum Simulations of Classical Random Walks and Undirected Graph Connectivity.
Volume 62, Number 3, May 2001
John H. Reif
: Parallel Output-Sensitive Algorithms for Combinatorial and Linear Algebra Problems.
, Qing Tao
: Estimation on Domain of Attraction and Convergence Rate of Hopfield Continuous Feedback Neural Networks.
Volume 62, Number 4, June 2001
: Separation Results for Separated Apex NLC and NCE Graph Languages.
: New Error Bounds for Solomonoff Prediction.