default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa 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
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.
last updated on 2026-03-04 23:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
