default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJCSS, 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 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
