Journal of Computer and System Sciences（JCSS ）的VOLUME 34, ISSUE 1论文列表

卷期号： Volume 34, Issue 1

发布时间： February 1987

卷期年份： 1987

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