Journal of Computer and System Sciences （JCSS） - Volume 34, Issue 1 论文列表
| 点击这里查看 Journal of Computer and System Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 34, Issue 1 |
| 发布时间： February 1987 |
| 卷期年份： 1987 |
| 卷期官网： https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences/vol/34/issue/1 |
本期论文列表
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
Upper bounds for time-space trade-offs in sorting and selection
Expressive completeness failure in branching time structures
River routing in VLSI
An analysis of the nonemptiness problem for classes of reversal-bounded multicounter machines
A note on the two-variable pattern-finding problem
Basic tree transducers
Succinct representation of regular sets using gotos and boolean variables