Galil, Zvi An \(O(V^{5/3}E^{2/3})\) algorithm for the maximal flow problem. (English) Zbl 0456.68044 Acta Inf. 14, 221-242 (1980). MSC: 68Q25 90B10 PDF BibTeX XML Cite \textit{Z. Galil}, Acta Inf. 14, 221--242 (1980; Zbl 0456.68044) Full Text: DOI
Paul, Wolfgang; Reischuk, Rüdiger On alternation. II. A graph theoretic approach to determinism versus nondeterminism. (English) Zbl 0447.68043 Acta Inf. 14, 391-403 (1980). MSC: 68Q05 68R10 68Q25 PDF BibTeX XML Cite \textit{W. Paul} and \textit{R. Reischuk}, Acta Inf. 14, 391--403 (1980; Zbl 0447.68043)
Wegner, Lutz Michael On parsing two-level grammars. (English) Zbl 0442.68086 Acta Inf. 14, 175-193 (1980). MSC: 68N20 PDF BibTeX XML Cite \textit{L. M. Wegner}, Acta Inf. 14, 175--193 (1980; Zbl 0442.68086) Full Text: DOI
Soisalon-Soininen, Eljas On the space optimizing effect of eliminating single productions from LR parsers. (English) Zbl 0442.68085 Acta Inf. 14, 157-174 (1980). MSC: 68N20 PDF BibTeX XML Cite \textit{E. Soisalon-Soininen}, Acta Inf. 14, 157--174 (1980; Zbl 0442.68085) Full Text: DOI
Kemp, R. A note on the density of inherently ambiguous context-free languages. (English) Zbl 0441.68085 Acta Inf. 14, 295-298 (1980). MSC: 68Q45 PDF BibTeX XML Cite \textit{R. Kemp}, Acta Inf. 14, 295--298 (1980; Zbl 0441.68085) Full Text: DOI
Paul, Wolfgang J.; Prauß, Ernst J.; Reischuk, Rüdiger On alternation. (English) Zbl 0437.68025 Acta Inf. 14, 243-255 (1980). MSC: 68Q05 03D10 03D15 PDF BibTeX XML Cite \textit{W. J. Paul} et al., Acta Inf. 14, 243--255 (1980; Zbl 0437.68025) Full Text: DOI
Nakajima, Reiji; Honda, Michio; Nakahara, Hayao Hierarchical program specification and verification - a many-sorted logical approach. (English) Zbl 0432.68011 Acta Inf. 14, 135-155 (1980). MSC: 68Q60 68N01 68Q65 PDF BibTeX XML Cite \textit{R. Nakajima} et al., Acta Inf. 14, 135--155 (1980; Zbl 0432.68011) Full Text: DOI
Russell, Bruce Correctness of the compiling process based on axiomatic semantics. (English) Zbl 0432.68010 Acta Inf. 14, 1-20 (1980). MSC: 68Q60 68N01 PDF BibTeX XML Cite \textit{B. Russell}, Acta Inf. 14, 1--20 (1980; Zbl 0432.68010) Full Text: DOI
Kröger, F. Infinite proof rules for loops. (English) Zbl 0432.68007 Acta Inf. 14, 371-389 (1980). MSC: 68N01 68Q65 PDF BibTeX XML Cite \textit{F. Kröger}, Acta Inf. 14, 371--389 (1980; Zbl 0432.68007) Full Text: DOI
Vaishnavi, V. K.; Kriegel, H. P.; Wood, D. Optimum multiway search trees. (English) Zbl 0431.68065 Acta Inf. 14, 119-133 (1980). MSC: 68R10 68Q25 PDF BibTeX XML Cite \textit{V. K. Vaishnavi} et al., Acta Inf. 14, 119--133 (1980; Zbl 0431.68065) Full Text: DOI
Purdom, Paul; Brown, Cynthia A. Semantic routines and \(LR(k)\) parsers. (English) Zbl 0424.68052 Acta Inf. 14, 299-315 (1980). MSC: 68N20 PDF BibTeX XML Cite \textit{P. Purdom} and \textit{C. A. Brown}, Acta Inf. 14, 299--315 (1980; Zbl 0424.68052) Full Text: DOI
Wand, Mitchell First-order identities as a defining language. (English) Zbl 0424.68022 Acta Inf. 14, 337-357 (1980). MSC: 68Q65 68N01 PDF BibTeX XML Cite \textit{M. Wand}, Acta Inf. 14, 337--357 (1980; Zbl 0424.68022) Full Text: DOI
Nishimura, Hirokazu Descriptively complete process logic. (English) Zbl 0423.68005 Acta Inf. 14, 359-369 (1980). MSC: 68Q65 PDF BibTeX XML Cite \textit{H. Nishimura}, Acta Inf. 14, 359--369 (1980; Zbl 0423.68005) Full Text: DOI
Moll, K. R. Left context precedence grammars. (English) Zbl 0419.68102 Acta Inf. 14, 317-335 (1980). MSC: 68N20 68Q45 PDF BibTeX XML Cite \textit{K. R. Moll}, Acta Inf. 14, 317--335 (1980; Zbl 0419.68102) Full Text: DOI
Nijholt, Anton A survey of normal form covers for context-free grammars. (English) Zbl 0419.68096 Acta Inf. 14, 271-294 (1980). MSC: 68Q45 68N20 PDF BibTeX XML Cite \textit{A. Nijholt}, Acta Inf. 14, 271--294 (1980; Zbl 0419.68096) Full Text: DOI
Commentz-Walter, Beate; Sattler, Jürgen Size-depth tradeoff in non-monotone Boolean formulae. (English) Zbl 0419.68083 Acta Inf. 14, 257-269 (1980). MSC: 68Q25 94C10 PDF BibTeX XML Cite \textit{B. Commentz-Walter} and \textit{J. Sattler}, Acta Inf. 14, 257--269 (1980; Zbl 0419.68083) Full Text: DOI
Casanova, Marco A.; Bernstein, Philip A. General purpose schedulers for database systems. (English) Zbl 0419.68080 Acta Inf. 14, 195-220 (1980). MSC: 68M20 68P20 PDF BibTeX XML Cite \textit{M. A. Casanova} and \textit{P. A. Bernstein}, Acta Inf. 14, 195--220 (1980; Zbl 0419.68080) Full Text: DOI
Lamport, Leslie The ”Hoare logic” of concurrent programs. (English) Zbl 0416.68032 Acta Inf. 14, 21-37 (1980). MSC: 68Q65 68Q60 03B60 PDF BibTeX XML Cite \textit{L. Lamport}, Acta Inf. 14, 21--37 (1980; Zbl 0416.68032) Full Text: DOI
Philipp, Reiner; Prauß, Ernst-Jürgen Über Separatoren in planaren Graphen. (German) Zbl 0415.05021 Acta Inf. 14, 87-106 (1980). MSC: 05C10 PDF BibTeX XML Cite \textit{R. Philipp} and \textit{E.-J. Prauß}, Acta Inf. 14, 87--106 (1980; Zbl 0415.05021) Full Text: DOI
Plateau, B. Evaluation des performances d’un algorithme de contrôle de la cohérence d’une base de données répartie. (Performance evaluation of a concurrency control for a distributed database). (French) Zbl 0414.68070 Acta Inf. 14, 39-62 (1980). MSC: 68P20 68N25 PDF BibTeX XML Cite \textit{B. Plateau}, Acta Inf. 14, 39--62 (1980; Zbl 0414.68070) Full Text: DOI
Schlatter Ellis, Carla Concurrent search and insertion in 2-3 trees. (English) Zbl 0413.68065 Acta Inf. 14, 63-86 (1980). MSC: 68R99 68R10 68P20 PDF BibTeX XML Cite \textit{C. Schlatter Ellis}, Acta Inf. 14, 63--86 (1980; Zbl 0413.68065) Full Text: DOI