default search action
Acta Informatica, Volume 9
Volume 9, 1977
- Rudolf Bayer, Mario Schkolnick:
Concurrency of Operations on B-Trees. 1-21 - D. T. Lee, C. K. Wong:
Worst-Case Analysis for Region and Partial Region Searches in Multidimensional Binary Search Trees and Balanced Quad Trees. 23-29 - David Pager:
Eliminating Unit Productions from LR Parsers. 31-59 - Stefan Sokolowski:
Axioms for Total Correctness. 61-71 - Jan Paredaens, R. Vyncke:
A Class of Measures on Formal Languages. 73-86 - Jürgen Avenhaus, Klaus Madlener:
Subrekursive Komplexität bei Gruppen: I. Gruppen mit vorgeschriebener Komplexität. 87-104
Volume 9, 1978
- Wilfred J. Hansen, Hendrik Boom:
The Report on the Standard Hardware Representation for ALGOL 68. 105-119 - Claus H. Correl:
Proving Programs Correct through Refinement. 121-132 - Nissim Francez, Amir Pnueli:
A Proof Method for Cyclic Programs. 133-157 - Andrew Chi-Chih Yao:
On Random 2-3 Trees. 159-170 - Ronald V. Book:
On the Complexity of Formal Grammars. 171-181 - Jürgen Avenhaus, Klaus Madlener:
Subrekursive Komplexität bei Gruppen: II. Der Einbettungssatz von Higman für entscheidbare Gruppen. 183-193 - Terrence W. Pratt:
Program Analysis and Optimization through Kernel-Control Decomposition. 195-216 - Christoph M. Hoffmann:
Design and Correctness of a Compiler for a Non-Procedural Language. 217-241 - Armin B. Cremers, Thomas N. Hibbard:
Orthogonality of Information Structures. 243-261 - Edward G. Coffman Jr., Joseph Y.-T. Leung, D. W. Ting:
Bin Packing: Maximizing the Number of Pieces Packed. 263-271 - Arnold L. Rosenberg:
Data Encodings and Their Costs. 273-292 - Armin B. Cremers, Thomas N. Hibbard:
Functional Behavior in Data Spaces. 293-307 - Manfred P. Stadel:
Die Zeitkomplexität des Normalisierungsproblems bei kontextsensitiven Grammatiken. 309-329 - Anthony E. Krzesinski, Peter Teunissen:
A Multiclass Networt Model of a Demand Paging Computer System. 331-343 - H. Hule, Hermann A. Maurer, Thomas Ottmann:
Good OL Forms. 345-353 - Henry S. Warren Jr.:
Static Main Storage Packing Problems. 355-376 - Peter Deussen:
A Unified Approach to the Generation and the Acception of Formal Languages. 377-390
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-23 19:19 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: