0022-0000

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

本期论文列表
Special SIGACT issue

Subrecursive program schemata I & II: I. Undecidable equivalence problems; II. Decidable equivalence problems

Generalized overlap resolvable grammars and their parsers

Optimization of LR(k) parsers

Augmented loop languages and classes of computable functions

Efficient evaluation of polynomial forms

Proving simultaneous positivity of linear forms

Author index