Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Acta Inf. AND Volume=14
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Correctness of the compiling process based on axiomatic semantics
B. Russell
Acta Informatica
14
(1), 1980, June, pp. 1-20
The 'Hoare logic' of concurrent programs
L. Lamport
Acta Informatica
14
(1), 1980, June, pp. 21-37
Performance evaluation of a concurrency control for a distributed database
B. Plateau
Acta Informatica
14
(1), 1980, June, pp. 39-62
Concurrent search and insertion in 2-3 trees
C.S. Ellis
Acta Informatica
14
(1), 1980, June, pp. 63-86
Separators in planar graphs
R. Philipp
,
E.-J. Prauss
Acta Informatica
14
(1), 1980, June, pp. 87-106
Memory fragmentation in buddy methods for dynamic storage allocation
A.G. Bromley
Acta Informatica
14
(2), 1980, August, pp. 107-117
Optimum multiway search trees
V.K. Vaishnavi
,
H.P. Kriegel
,
D. Wood
Acta Informatica
14
(2), 1980, August, pp. 119-133
Hierarchical program specification and verification-a many-sorted logical approach
R. Nakajima
,
M. Honda
,
H. Nakahara
Acta Informatica
14
(2), 1980, August, pp. 135-155
On the space optimizing effect of eliminating single productions from LR parsers
E. Soisalon-Soininen
Acta Informatica
14
(2), 1980, August, pp. 157-174
On parsing two-level grammars
L.M. Wegner
Acta Informatica
14
(2), 1980, August, pp. 175-193
General purpose schedulers for database systems
M.A. Casanova
,
P.A. Bernstein
Acta Informatica
14
(3), 1980, September, pp. 195-220
An
O(V^{5/3}E^{2/3})
algorithm for the maximal flow problem
Z. Galil
Acta Informatica
14
(3), 1980, September, pp. 221-242
On alternation (Turing machines)
W.J. Paul
,
E.J. Prauss
,
R. Reischuk
Acta Informatica
14
(3), 1980, September, pp. 243-255
Size-depth tradeoff in non-monotone Boolean formulae
B. Commentz-Walter
,
J. Sattler
Acta Informatica
14
(3), 1980, September, pp. 257-269
A survey of normal form covers for context free grammars
A. Nijholt
Acta Informatica
14
(3), 1980, September, pp. 271-294
A note on the density of inherently ambiguous context-free languages
R. Kemp
Acta Informatica
14
(3), 1980, September, pp. 295-298
Semantic routines and LR(k) parsers
P. Purdom
,
C.A. Brown
Acta Informatica
14
(4), 1980, October, pp. 299-315
Left context precedence grammars
K.R. Moll
Acta Informatica
14
(4), 1980, October, pp. 317-335
First-order identities as a defining language
M. Wand
Acta Informatica
14
(4), 1980, October, pp. 337-357
Descriptively complete process logic
H. Nishimura
Acta Informatica
14
(4), 1980, October, pp. 359-369
Infinite proof rules for loops
F. Kröger
Acta Informatica
14
(4), 1980, October, pp. 371-389
On alternation II. A graph theoretic approach to determinism versus nondeterminism
W. Paul
,
R. Reischuk
Acta Informatica
14
(4), 1980, October, pp. 391-403