JCSS, Volume 34

Volume 34, Number 1, February 1987

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

Volume 34, Numbers 2/3, April/June 1987

• Donald Sannella, Andrzej Tarlecki: On Observational Equivalence and Algebraic Specification. 150-178
• Peter Padawitz: Parameter-Preserving Data Type Specifications. 179-209
• Ilaria Castellani: Bisimulations and Abstraction Homomorphisms. 210-235
• Manfred Broy: Specification and Top-Down Design of Distributed Systems. 236-265
• Johann A. Makowsky: Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples. 266-292
• Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce: Algebraic Specification of Modules and Their Basic Interconnections. 293-339
• Axel Poigné, Josef Voss: On the Implementation of Abstract Data Types by Programming Language Constructs. 340-376
• Paul Boehm, Harald-Reto Fonio, Annegret Habel: Amalgamation of Graph Transformations: A Synchronization Mechanism. 377-408
• Rod M. Burstall: Inductively Defined Functions in Functional Programming Languages. 409-421
• Pierpaolo Degano, Ugo Montanari: Concurrent Histories: A Basis for Observing Distributed Systems. 422-461