Volume 54, Number 1, February 1997 11th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) June 2-4, 1992
1st Annual Dagstuhl Seminar on Neural Computing (DSNC) November 7-11, 1994
: A Weak Version of the Blum, Shub, and Smale Model.
Volume 54, Number 2, April 1997
32nd Annual Symposium on Foundations of Computer Science October 2-4, 1991
32nd Annual Symposium on Foundations of Computer Science November 3-5, 1993
: A Spectrum of Time-Space Trade-Offs for Undirected s-t Connectivity.
Volume 54, Number 3, June 1997
Tenth Annual Conference on Structure in Complexity 1995
: DSPACE(n) = NSPACE(n): A Degree Theoretic Characterization.
: Counting Quantifiers, Successor Relations, and Logarithmic Space.
John D. Rogers
: The Isomorphism Conjecture Holds and One-Way Functions Exists Relative to an Oracle.
James S. Royer
: Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded Functionals.
: The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries.
, Jianer Chen
: On Fixed-Parameter Tractability and Approximability of NP Optimization Problems.
: A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications.