EDITOR'S FOREWORD
DSPACE(n)NSPACE(n): A Degree Theoretic Characterization
An Excursion to the Kolmogorov Random Strings
Counting Quantifiers, Successor Relations, and Logarithmic Space
The Isomorphism Conjecture Holds and One-Way Functions Exist Relative to an Oracle
Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded Functionals
On P-Immunity of Exponential Time Complete Sets
The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries
On Fixed-Parameter Tractability and Approximability of NP Optimization Problems
Geometric Approach for Optimal Routing on a Mesh with Buses
A Model of Interactive Teaching
A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications
Author Index for Volume 54