Journal of Computer and System Sciences （JCSS） - Volume 23, Issue 1 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 23, Issue 1 |
| 发布时间： August 1981 |
| 卷期年份： 1981 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/23/issue/1 |
本期论文列表
Completeness of context-free grammar forms
A complete proof of correctness of the Knuth-Bendix completion algorithm
Synchronous to asynchronous transformation of polyautomata
On maximal order for local and global numerical problems
On correct refinement of programs
Recursion-closed algebraic theories
Corrigendum