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 BibTeX
Greg N. Frederickson: Upper Bounds for Time-Space Trade-Offs in Sorting and Selection. 19-26 BibTeX
Amihood Amir: Expressive Completeness Failure in Branching Time Structures. 27-42 BibTeX
Amihood Amir: Expressive Completeness Failure in Branching Time Structures. 27-42 BibTeX
Andranik Mirzaian: River Routing in VLSI. 43-54 BibTeX
Rodney R. Howell, Louis E. Rosier: An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines. 55-74 BibTeX
Ker-I Ko, Chin-Ming Hua: A Note on the Two-Variable Pattern-Finding Problem. 75-86 BibTeX
Heiko Vogler: Basic Tree Transducers. 87-128 BibTeX
Karl R. Abrahamson: Succinct Representation of Regular Sets Using Gotos and Boolean Variables. 129-148 BibTeX

Selected Papers of the Joint Conference on Theory and Practice of Software Development, March 25-29, 1985

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