![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
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, Salvatore 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.