External Links

    Journal: J. Comput. Syst. Sci.

    Volume 54, Issue 3

    383 -- 392Manindra Agrawal. DSPACE(n) = NSPACE(n): A Degree Theoretic Characterization
    393 -- 399Harry Buhrman, Elvira Mayordomo. An Excursion to the Kolmogorov Random Strings
    400 -- 411Kousha Etessami. Counting Quantifiers, Successor Relations, and Logarithmic Space
    412 -- 423John D. Rogers. The Isomorphism Conjecture Holds and One-Way Functions Exists Relative to an Oracle
    424 -- 436James S. Royer. Semantics vs Syntax vs Computations: Machine Models for Type-2 Polynomial-Time Bounded Functionals
    437 -- 440Nicholas Q. Trân. On P-Immunity of Exponential Time Complete Sets
    441 -- 464Domenico Saccà. The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries
    465 -- 474Liming Cai, Jianer Chen. On Fixed-Parameter Tractability and Approximability of NP Optimization Problems
    475 -- 486Yosi Ben-Asher, Ilan Newman. Geometric Approach for Optimal Routing on a Mesh with Buses
    487 -- 501H. David Mathias. A Model of Interactive Teaching
    502 -- 519Karl Meinke. A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications
    runs on