0022-0000

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

本期论文列表
Hardness vs randomness

Invariant sets for substitution

On computing serial dependency relations

Vacillatory learning of nearly minimal size grammars

Dynamic dictionary matching

A branching time logic with past operators

Non-deterministic communication complexity with few witnesses

The translation power of top-down tree-to-graph transducers

Efficient inference of partial types

A linear-time near-optimum-length triangulation algorithm for convex polygons

A three-valued semantics for deductive databases and logic programs

Measures of nondeterminism for pushdown automata

Learning with discrete multivalued neurons

Robust gift wrapping for the three-dimensional convex hull

Listing graphs that satisfy first-order sentences