0022-0000

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

本期论文列表
On the Inapproximability of Disjoint Paths and Minimum Steiner Forest with Bandwidth Constraints

Rooted Branching Bisimulation as a Congruence

Global Exponential Stability and Periodic Solutions of Delayed Cellular Neural Networks

On Relationships between Statistical Zero-Knowledge Proofs

Data Independence of Read, Write, and Control Structures in PRAM Computations

A 5/4 Linear Time Bin Packing Algorithm

Computational Sample Complexity and Attribute-Efficient Learning

Estimation of the Domain of Attraction and the Convergence Rate of a Hopfield Associative Memory and an Application

Deciding Bisimilarity and Similarity for Probabilistic Processes