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=9
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Concurrency of operations on b-trees
R. Bayer
,
M. Schkolnick
Acta Informatica
9
(1), 1977, pp. 1-21
Worst-case analysis for region and partial region searches in multidimensional binary search trees and balanced quad trees
D.T. Lee
,
C.K. Wong
Acta Informatica
9
(1), 1977, pp. 23-29
Eliminating unit productions from LR parsers
D. Pager
Acta Informatica
9
(1), 1977, pp. 31-59
Axioms for total correctness
S. Sokolowski
Acta Informatica
9
(1), 1977, pp. 61-71
A class of measures on formal languages
J. Paredaens
,
R. Vyncke
Acta Informatica
9
(1), 1977, pp. 73-86
Subrecursive complexities on groups. I. Groups of given complexity
J. Avenhaus
,
K. Madlener
Acta Informatica
9
(1), 1977, pp. 87-104
The report on the standard hardware representation for ALGOL 68
W.J. Hansen
,
H. Boom
Acta Informatica
9
(2), 1978, pp. 105-119
Proving programs correct through refinement
C.H. Correll
Acta Informatica
9
(2), 1978, pp. 121-132
A proof method for cyclic programs
N. Francez
,
A. Pnueli
Acta Informatica
9
(2), 1978, pp. 133-157
On random 2-3 trees
Andrew Chi-Chih Yao
Acta Informatica
9
(2), 1978, pp. 159-170
On the complexity of formal grammars
R.V. Book
Acta Informatica
9
(2), 1978, pp. 171-181
Subrecursive complexities on groups. II. Higman's embedding theorem for decidable groups
J. Avenhaus
,
K. Madlener
Acta Informatica
9
(2), 1978, pp. 183-193
Program analysis and optimization through kernel-control decomposition
T. Pratt
Acta Informatica
9
(3), 1978, pp. 195-216
Design and correctness of a compiler for a non-procedural language
C.M. Hoffmann
Acta Informatica
9
(3), 1978, pp. 217-241
Orthogonality of information structures
A.B. Cremers
,
T.N. Hibbard
Acta Informatica
9
(3), 1978, pp. 243-261
Bin packing: maximizing the number of pieces packed
E.G., Jr. Coffman
,
J.Y.-T. Leung
,
D.W. Ting
Acta Informatica
9
(3), 1978, pp. 263-271
Data encodings and their costs
A.L. Rosenberg
Acta Informatica
9
(3), 1978, pp. 273-292
Functional behavior in data spaces
A.B. Cremers
,
T.N. Hibbard
Acta Informatica
9
(4), 1978, pp. 293-307
The time complexity of the normalisation problem of context sensitive grammars
M. Stadel
Acta Informatica
9
(4), 1978, pp. 309-329
A multiclass network model of a demand paging computer system
A. Krzesinski
,
P. Teunissen
Acta Informatica
9
(4), 1978, pp. 331-343
Good Ol forms
H. Hule
,
H.A. Maurer
,
Th. Ottmann
Acta Informatica
9
(4), 1978, pp. 345-353
Static main storage packing problems
H.S., Jr. Warren
Acta Informatica
9
(4), 1978, pp. 355-376
A unified approach to the generation and the acception of formal languages
P. Deussen
Acta Informatica
9
(4), 1978, pp. 377-390