0022-0000

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

本期论文列表
Computation by assembly

An accelerated conjugate direction method to solve linearly constrained minimization problems

On the completeness of the inductive assertion method

Program equivalence and context-free grammars

On some questions of rationality and decidability

On reversibility in cellular automata

Practical decidability

Editor's note

Erratum

Author index for volume 11