Acta Informatica, Volume 2

Volume 2, 1973

Søren Lauesen: Job Scheduling Guaranteeing Reasonable Turn-Around Times. 1-11 BibTeX
T. Anderson, J. Eve, James J. Horning: Efficient LR(1) Parsers. 12-39 BibTeX
Arto Salomaa: On Sentential Forms of Context-Free Grammars. 40-49 BibTeX
Maurice Clint: Program Proving: Coroutines. 50-63 BibTeX
Volker Strassen: Berechnung und Programm. II. 64-79 BibTeX
H.-J. Stoß: Rangierkomplexität von Permutationen. 80-96 BibTeX
David Gries: Describing an Algorithm by Hopcroft. 97-109 BibTeX
Hans Langmaack: On Correct Procedure Parameter Transmission in Higher Programming Languages. 110-142 BibTeX
Hartmann J. Genrich, Kurt Lautenbach: Synchronisationsgraphen. 143-161 BibTeX
Karel Culík, Michael A. Arbib: Sequential and Jumping Machines and their Relation to Computers. 162-171 BibTeX
Hans-Dieter Ehrich: Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen. 172-179 BibTeX
Luc Boasson, Maurice Nivat: Sur diverses familles de langages fermées par transductions rationelle. 180-188 BibTeX
Per Brinch Hansen: A Reply to Comments on "A Comparison of Two Synchronizing Concepts". 189-190 BibTeX
Jeffrey D. Ullman: Fast Algorithms for the Elimination of Common Subexpressions. 191-213 BibTeX
Grzegorz Rozenberg, Aristid Lindenmayer: Developmental Systems with Locally Catenative Formulas. 214-248 BibTeX
Walter J. Savitch: A Note on Multihead Automata and Context-Sensitive Languages. 249-252 BibTeX
Peter Kandzia: Zur Theorie der Partiell-linearen Realisierungen endlicher Automaten. 253-282 BibTeX
Volker Claus: Die mittlere Additionsdauer eines Paralleladdierwerks. 283-291 BibTeX
Jay Earley: Relational Level Data Structures for Programming Languages. 293-309 BibTeX
Hans Langmaack: On Procedures as Open Subroutines. I. 311-333 BibTeX
C. A. R. Hoare, Niklaus Wirth: An Axiomatic Definition of the Programming Language PASCAL. 335-355 BibTeX
Wolfgang Menzel: An Extension of the Theory of Learning Systems. 357-381 BibTeX
Luc Boasson, J. P. Crestin, Maurice Nivat: Familles de langages translatables et fermées par crochet. 383-393 BibTeX