0022-0000

Journal of Computer and System Sciences (JCSS) - Volume 54, Issue 3 论文列表

本期论文列表
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