0022-0000

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

本期论文列表
Two-way nested stack automata are equivalent to two-way stack automata

Deterministic one-counter automata

Some independent families of one-letter languages

Proving a compiler correct: A simple approach

NP-complete scheduling problems

Abstract families of length-preserving processors

Author index