Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Informatica, Volume 6
Volume 6, 1976
- Edward G. Coffman Jr., Ravi Sethi:
Algorithms Minimizing Mean Flow Time: Schedule-Length Properties. 1-14 - Erich J. Neuhold, T. Weller:
Specification and Proving of Command Programs. 15-40 - John Darlington, Rod M. Burstall:
A System which Automatically Improves Programs. 41-60 - Andrei P. Ershov:
Axiomatics for Memory Allocation. 61-75 - Zvi Galil:
Hierarchies of Complete Problems. 77-88 - Ronald V. Book, Ashok K. Chandra:
Inherently Nonplanar Automata. 89-94 - Burkhard Monien:
Transformational Methods and their Application to Complexity Problems. 95-108 - E. R. Anderson, Frank C. Belz, Edward K. Blum:
SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages. 109-131 - Michael Karr:
Affine Relationships Among Variables of a Program. 133-151 - Robert T. Moenck:
Another Polynomial Homomorphism. 153-169 - Robert Endre Tarjan:
Edge-Disjoint Spanning Trees and Depth-First Search. 171-185 - William R. Franta:
The Mathematical Analysis of the Computer System Modeled as a Two Stage Cyclic Queue. 187-209 - Gary J. Nutt:
Some Resource Allocation Policies in a Multi Associative Processor. 211-225 - Hans Albrecht Schmid:
On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors. 227-249 - Pierre-Jacques Courtois, Hendrik Vantilborgh:
A Decomposable Model of Program Paging Behaviour. 251-275 - Roland Carl Backhouse:
An Alternative Approach to the Improvement of LR(k) Parsers. 277-296 - Hans Jürgen Schneider, Hartmut Ehrig:
Grammars on Partial Graphs. 297-316 - Susan S. Owicki, David Gries
:
An Axiomatic Proof Technique for Parallel Programs I. 319-340 - Jacques Cohen, Martin S. Roth:
On the Implementation of Strassen's Fast Multiplication Algorithm. 341-355 - Edsger W. Dijkstra:
On a Gauntlet Thrown by David Gries. 357-359 - Kenichi Taniguchi, Tadao Kasami:
An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts. 361-364 - Alexandre Brandwajn:
A Model of a Virtual Memory System. 365-386 - R. M. Wharton:
Resolution of Ambiguity in Parsing. 387-395 - Hermann A. Maurer, Derick Wood:
On Grammar Forms with Terminal Context. 397-402 - Werner Heise:
Optimal Codes, n-Arcs and Laguerre Geometry. 403-406 - Andrzej Ehrenfeucht, Grzegorz Rozenberg:
On Proving that Certain Languages are not ETOL. 407-415
a service of 
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 2024-04-22 20:02 CEST 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:
