Volume 20, 1983
- Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch:
On Hierarchies of Abstract Data Types.
1-33
- Jifeng He:
General Predicate Transformer and the Semantics of a Programming Language With Go To Statement.
35-57
- Werner Damm, Bernhard Josko:
A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.
59-101
- Ashok K. Chandra, Lawrence T. Kou, George Markowsky, Shmuel Zaks:
On Sets of Boolean n -Projections Surjective.
103-111
- Hisao Kameda:
A Note on Multi-queue Scheduling of Two Tasks.
113-120
- Herman Akdag:
Performances of an Algorithm Constructing a Nearly Optimal Binary Tree.
121-132
- Walter Bucher:
Two-Symbol DOS Systems Generating Regular Languages.
133-142
- Heikki Mannila, Kari-Jouko Räihä:
On the Relationship of Minimum and Optimum Covers for a Set of Functional Dependencies.
143-158
- Mario Coppo:
On the Semantics of Polymorphism.
159-170
- Nathan Goodman, Oded Shmueli:
NP-complete Problems Simplified on Tree Schemas.
171-178
- Jean-Jacques Pansiot:
Hiérarchie et fermeture de certaines classes de tag-systèmes.
179-196
- Christian Ronse:
A Three-Stage Construction for Multiconnection Networks.
197-206
- Mordechai Ben-Ari, Amir Pnueli, Zohar Manna:
The Temporal Logic of Branching Time.
207-226
- Hans-Ulrich Simon:
Pattern Matching in Trees and Nets.
227-248
- G. Marque-Pucheu:
Rational Set of Trees and the Algebraic Semantics of Logic Programming.
249-260
- Joseph A. Bannister, Kishor S. Trivedi:
Task Allocation in Fault-Tolerant Distributed Systems.
261-281
- Werner Pohlmann:
LR Parsing for Affix Grammars.
283-300
- Alain J. Martin:
A General Proof Rule for Procedures in Predicate Transformer Semantics.
301-313
- Ali Mili:
A Relational Approach to the Design of Deterministic Programs.
315-328
- Nissim Francez:
Product Properties and Their Direct Verification.
329-344
- Philippe Flajolet:
On the Performance Evaluation of Extendible Hashing and Trie Searching.
345-369
- Aviezri S. Fraenkel, Moshe Mor, Yehoshua Perl:
Is Text Compression by Prefixes and Suffixes Practical?
371-389
- H. C. M. Kleijn, Grzegorz Rozenberg:
On the Generative Power of Regular Pattern Grammars.
391-411
Last update Sat May 18 19:59:45 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
