0022-0000

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

本期论文列表
Refinements of Complexity Results on Type Consistency for Object-Oriented Databases

Translating Regular Expressions into Small ε-Free Nondeterministic Finite Automata

Linear-Consistency Testing

Separation Results for Separated Apex NLC and NCE Graph Languages

The Descriptive Complexity Approach to LOGCFL

New Error Bounds for Solomonoff Prediction

Verification by Augmented Abstraction: The Automata–Theoretic View

Papers to Appear in Forthcoming Issues

Author Index for Volume 62