Journals in DBLP

Acta Inf.
1978, volume: 9, number:

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