External Links

    Journal: J. Comput. Syst. Sci.

    Volume 34, Issue 1

    1 -- 18Domenico Cantone, Alfredo Ferro, Jacob T. Schwartz. Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator
    19 -- 26Greg N. Frederickson. Upper Bounds for Time-Space Trade-Offs in Sorting and Selection
    27 -- 42Amihood Amir. Expressive Completeness Failure in Branching Time Structures
    27 -- 42Amihood Amir. Expressive Completeness Failure in Branching Time Structures
    43 -- 54Andranik Mirzaian. River Routing in VLSI
    55 -- 74Rodney R. Howell, Louis E. Rosier. An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines
    75 -- 86Ker-I Ko, Chin-Ming Hua. A Note on the Two-Variable Pattern-Finding Problem
    87 -- 128Heiko Vogler. Basic Tree Transducers
    129 -- 148Karl R. Abrahamson. Succinct Representation of Regular Sets Using Gotos and Boolean Variables
    runs on