Journal of Computer and System Sciences （JCSS） - Volume 25, Issue 3 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 25, Issue 3 |
| 发布时间： December 1982 |
| 卷期年份： 1982 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/25/issue/3 |
本期论文列表
Expressiveness and the completeness of Hoare's logic
Homomorphisms between models of parallel computation
Subcomplete generalizations of graph isomorphism
Classifying regular events in symbolic logic
An algebraic characterization of some principal regulated rational cones
Deterministic propositional dynamic logic: Finite models, complexity, and completeness
The copying power of one-state tree transducers
Author index for volume 25