Journal of Computer and System Sciences （JCSS） - Volume 30, Issue 1 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 30, Issue 1 |
| 发布时间： February 1985 |
| 卷期年份： 1985 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/30/issue/1 |
本期论文列表
Decision procedures and expressiveness in the temporal logic of branching time
Tree pushdown automata
A multiprocess network logic with temporal and spatial modalities
A linear algorithm for embedding planar graphs using PQ-trees
Variations on the technique of Ďuriš and Galil
Hierarchies of hyper-AFLs
Solitaire automata
Routing, merging, and sorting on parallel models of computation
Announcement