Acta Informatica, Volume 1

Volume 1, 1971

Edward G. Coffman Jr., Brian Randell: Performance Predictions for Extended Paged Memories. 1-13 BibTeX
Donald E. Knuth: Optimum Binary Search Trees. 14-25 BibTeX
Wladyslaw M. Turski: A Model for Data Structures and Its Applications. I. 26-34 BibTeX
Niklaus Wirth: The Programming Language Pascal. 35-63 BibTeX
Volker Claus: Ein Vollständigkeitssatz für Programme und Schaltkreise. 64-78 BibTeX
Donald E. Knuth: Top-Down Syntax Analysis. 79-110 BibTeX
Hans Langmaack: Application of Regular Canonical Systems to Grammars Translatable from Left to Right. 111-114 BibTeX
Edsger W. Dijkstra: Hierarchical Ordering of Sequential Processes. 115-138 BibTeX
A. A. Schönhage: Schnelle Berechnung von Kettenbruchentwicklungen. 139-144 BibTeX
Frank K. Hwang, Shen Lin: Optimal Merging of 2 Elements with n Elements. 145-158 BibTeX
Dominique Perrin, Jean-François Perrot: Congruences et Automorphismes des Automates Finis. 159-172 BibTeX

Rudolf Bayer, Edward M. McCreight: Organization and Maintenance of Large Ordered Indices. 173-189 BibTeX
Per Brinch Hansen: A Comparison of Two Synchronizing Concepts. 190-199 BibTeX
Edward G. Coffman Jr., Ronald L. Graham: Optimal Scheduling for Two-Processor Systems. 200-213 BibTeX
Maurice Clint, C. A. R. Hoare: Program Proving: Jumps and Functions. 214-224 BibTeX
Gerd Kaufholz: Der programmierbare endliche Automat. 225-241 BibTeX
Grzegorz Rozenberg: Direction Controlled Programmed Grammars. 242-252 BibTeX
Hermann K.-G. Walter: Inhibitionsfelder. 253-269 BibTeX
C. A. R. Hoare: Proof of Correctness of Data Representations. 271-281 BibTeX
Wladyslaw M. Turski: A Model for Data Structures and its Applications. (Part II). 282-289 BibTeX
Rudolf Bayer: Symmetric Binary B-Trees: Data Structure and Maintenance Algorithms. 290-306 BibTeX
T. C. Hu, K. C. Tan: Least Upper Bound on the Cost of Optimum Binary Search Trees. 307-310 BibTeX
A. C. McKellar, C. K. Wong: Bounds on Algorithms for String Generation. 311-319 BibTeX
Volker Strassen: Berechnung und Programm. I. 320-355 BibTeX
Juris Hartmanis: On Non-Determinancy in Simple Computing Devices. 336-344 BibTeX
Claus-Peter Schnorr, H. Stimm: Endliche Automaten und Zufallsfolgen. 345-359 BibTeX
Gerda Schott: Automatic Analysis of Inflectional Morphems in German Nouns. 360-374 BibTeX
Pierre-Jacques Courtois, F. Heymans, David Lorge Parnas: Comments on "A Comparison of Two Synchronizing Concepts by Per Brinch Hansen". 375-376 BibTeX