Acta Informatica
, Volume 12
Volume 12, 1979
Axel van Lamsweerde
,
Michel Sintzoff
:
Formal Derivation of Strongly Correct Concurrent Programs.
1-31
Helmut Alt
:
Lower Bounds on Space Complexity for Contextfree Recognition.
33-61
Yasuichi Horibe
,
Tibor O. H. Nemetz
:
On the Max-Entropy Rule for a Binary Search Tree.
63-72
Jørgen Steensgaard-Madsen
:
Pascal-Clarifications and Recommended Extensions.
73-94
Warren Burton
:
Generalized Recursive Data Structures.
95-108
Peter E. Lauer
,
Piero R. Torrigiani
,
M. W. Shields
:
COSY - A System Specification Language Based on Paths and Processes.
109-158
Donald L. Iglehart
,
Gerald S. Shedler
:
Regenerative Simulation of Response Times in Networks of Queues with Multiple Job Types.
159-175
Ronald V. Book
:
On Languages Accepted by Space-Bounded Oracle Machines.
177-185
C. J. M. Turnbull
,
E. S. Lee
:
Generalized Deterministic Left To Right Parsing.
187-207
Reinhard Wilhelm
:
Computation and Use of Data Flow Information in Optimizing Compilers.
209-225
Beate Commentz-Walter
:
Size-Depth Tradeoff in Monotone Boolean Formulae.
227-243
J. W. Cohen
:
The Multiple Phase Service Network with Generalized Processor Sharing.
245-284
Erol Gelenbe
:
Probabilistic Models of Computer Systems.
285-303
Teruo Hikita
:
On a Class of Recursive Procedures and Equivalent Iterative Ones.
305-320
N. Mikou
,
S. Tucci
:
Analyse et optimisation d'une procédure de reprise dans un système de gestion de données centralisées.
321-338
Eljas Soisalon-Soininen
,
Esko Ukkonen
:
A Method for Transforming Grammars into LL(k) Form.
339-369
Kurt Mehlhorn
:
Some Remarks on Boolean Sums.
371-375
Hirokazu Nishimura
:
Sequential Method in Propositional Dynamic Logic.
377-400
Last update Mon May 20 16:19:38 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page