Journal of Computer and System Sciences （JCSS） - Volume 25, Issue 2 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 25, Issue 2 |
| 发布时间： October 1982 |
| 卷期年份： 1982 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/25/issue/2 |
本期论文列表
Editor's foreword
Sparse complete sets for NP: Solution of a conjecture of Berman and Hartmanis
Process logic: Expressiveness, decidability, completeness
The average height of binary trees and other simple trees
A general class of resource tradeoffs
Proofs by induction in equational theories with constructors