Journal of Computer and System Sciences （JCSS） - Volume 20, Issue 1 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 20, Issue 1 |
| 发布时间： February 1980 |
| 卷期年份： 1980 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/20/issue/1 |
本期论文列表
A characterization of time complexity by simple loop programs
A faster algorithm computing string edit distances
Languages of R-trivial monoids
On finding minimal length superstrings
One-way weak-stack-counter automata
On the complexity of computing bilinear forms with {0, 1} constants
A proof system for the first-order relational calculus
Recognition of topological equivalence of patterns by array automata