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