Volume 9, 1977
Volume 9, 1978
- Wilfred J. Hansen, Hendrik Boom:
The Report on the Standard Hardware Representation for ALGOL 68.
105-119 BibTeX
- Claus H. Correl:
Proving Programs Correct through Refinement.
121-132 BibTeX
- Nissim Francez, Amir Pnueli:
A Proof Method for Cyclic Programs.
133-157 BibTeX
- Andrew Chi-Chih Yao:
On Random 2-3 Trees.
159-170 BibTeX
- Ronald V. Book:
On the Complexity of Formal Grammars.
171-181 BibTeX
- Jürgen Avenhaus, Klaus Madlener:
Subrekursive Komplexität bei Gruppen: II. Der Einbettungssatz von Higman für entscheidbare Gruppen.
183-193 BibTeX
- Terrence W. Pratt:
Program Analysis and Optimization through Kernel-Control Decomposition.
195-216 BibTeX
- Christoph M. Hoffmann:
Design and Correctness of a Compiler for a Non-Procedural Language.
217-241 BibTeX
- Armin B. Cremers, Thomas N. Hibbard:
Orthogonality of Information Structures.
243-261 BibTeX
- Edward G. Coffman Jr., Joseph Y.-T. Leung, D. W. Ting:
Bin Packing: Maximizing the Number of Pieces Packed.
263-271 BibTeX
- Arnold L. Rosenberg:
Data Encodings and Their Costs.
273-292 BibTeX
- Armin B. Cremers, Thomas N. Hibbard:
Functional Behavior in Data Spaces.
293-307 BibTeX
- Manfred P. Stadel:
Die Zeitkomplexität des Normalisierungsproblems bei kontextsensitiven Grammatiken.
309-329 BibTeX
- Anthony E. Krzesinski, Peter Teunissen:
A Multiclass Networt Model of a Demand Paging Computer System.
331-343 BibTeX
- H. Hule, Hermann A. Maurer, Thomas Ottmann:
Good OL Forms.
345-353 BibTeX
- Henry S. Warren Jr.:
Static Main Storage Packing Problems.
355-376 BibTeX
- Peter Deussen:
A Unified Approach to the Generation and the Acception of Formal Languages.
377-390 BibTeX
Copyright © Sat May 16 23:49:20 2009
by Michael Ley (ley@uni-trier.de)