Volume 14, 1980
- Bruce Russell:
Correctness of the Compiling Process Based on Axiomatic Semantics.
1-20 BibTeX
- Leslie Lamport:
The `Hoare Logic' of Concurrent Programs.
21-37 BibTeX
- Brigitte Plateau:
Evaluation des Performances d'un Algorithme de Controle de la Cohérence d'une Base de Données Répartie.
39-62 BibTeX
- Carla Schlatter Ellis:
Concurrent Search and Insertion in 2-3 Trees.
63-86, BibTeX
- Reiner Philipp, Ernst-Jürgen Prauß:
Über Separatoren in planaren Graphen.
87-106 BibTeX
- Allan G. Bromley:
Memory Fragmentation in Buddy Methods for Dynamic Storage Allocation.
107-117 BibTeX
- Vijay K. Vaishnavi, Hans-Peter Kriegel, Derick Wood:
Optimum Multiway Search Trees.
119-133 BibTeX
- Reiji Nakajima, Michio Honda, Hayao Nakahara:
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
135-155 BibTeX
- Eljas Soisalon-Soininen:
On the Space Optimizing Effect of Eliminating Single Productions from LR Parsers.
157-174 BibTeX
- Lutz Michael Wegner:
On Parsing Two-Level Grammars.
175-193 BibTeX
- Marco A. Casanova, Philip A. Bernstein:
General Purpose Schedulers for Database Systems.
195-220 BibTeX
- Zvi Galil:
An O(V5/3 E2/3) Algorithm for the Maximal Flow Problem.
221-242 BibTeX
- Wolfgang J. Paul, Ernst J. Prauß, Rüdiger Reischuk:
On Alternation.
243-255 BibTeX
- Beate Commentz-Walter, Jürgen Sattler:
Size-depht Tradeoff in Non-monotone Boolean Formulae.
257-269 BibTeX
- Anton Nijholt:
A Survey of Normal Form Covers for Context Free Grammars.
271-294 BibTeX
- Rainer Kemp:
A Note on the Density of Inherently Ambiguous Context-free Languages.
295-298 BibTeX
- Paul Walton Purdom Jr., Cynthia A. Brown:
Semantic Routines and LR(k) Parsers.
299-315 BibTeX
- Karl-Rudolf Moll:
Left Context Precedence Grammars.
317-335 BibTeX
- Mitchell Wand:
First-Order Identities as a Defining Language.
337-357 BibTeX
- Hirokazu Nishimura:
Descriptively Complete Process Logic.
359-369 BibTeX
- Fred Kröger:
Infinite Proof Rules for Loops.
371-389 BibTeX
- Wolfgang J. Paul, Rüdiger Reischuk:
On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism.
391-403 BibTeX
Copyright © Sat May 16 23:49:20 2009
by Michael Ley (ley@uni-trier.de)