0022-0000

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

本期论文列表
A Technique for Proving Decidability of Containment and Equivalence of Linear Constraint Queries

Replication and Consistency in a Distributed Environment

The Learnability of Unions of Two Rectangles in the Two-Dimensional Discretized Space

A Self-Stabilizing Algorithm for Detecting Fundamental Cycles in a Graph

Constraint-Generating Dependencies

Reasoning about Strings in Databases