Journal of Computer and System Sciences （JCSS） - Volume 29, Issue 1 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 29, Issue 1 |
| 发布时间： August 1984 |
| 卷期年份： 1984 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/29/issue/1 |
本期论文列表
Exponential bounds for the running time of a selection algorithm
Complete problems in the first-order predicate calculus
An n log n algorithm for determining the congruity of polyhedra
Finding pseudoperipheral nodes in graphs
Commutative One-counter languages are regular
On the fixpoints of nondeterministic recursive definitions
A generalized nexttime operator in temporal logic
Weak equivalence in a class of structured program schemes
Consistency in nondeterministic storage