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