Acta Informatica

Volume 1, Issue 3

September 1972

8 articles in this issue

Organization and maintenance of large ordered indexes
R. Bayer
E. M. McCreight
OriginalPaper Pages: 173 - 189
A comparison of two synchronizing concepts
Brinch Per Hansen
OriginalPaper Pages: 190 - 199
Optimal scheduling for two-processor systems
E. G. Coffman Jr.
R. L. Graham
OriginalPaper Pages: 200 - 213
Program proving: Jumps and functions
M. Clint
C. A. R. Hoare
OriginalPaper Pages: 214 - 224
Der programmierbare endliche automat
G. Kaufhol
OriginalPaper Pages: 225 - 241
Direction controlled programmed grammars
G. Rozenberg
OriginalPaper Pages: 242 - 252
Inhibitionsfelder
Hermann Walter
OriginalPaper Pages: 253 - 270
Optimum binary search trees
Donald E. Knuth
Corrigenda to Pages: 270 - 270