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=3
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Page size in demand-paging systems
E. Gelenbe
,
P. Tiberio
,
J.C.A. Boekhorst
Acta Informatica
3
, 1974, pp. 1-23
Optimal disk merge patterns
Maurice Schlumberger
,
Jean Vuillemin
Acta Informatica
3
, 1974, pp. 25-35
Node flows in graphs with conservative flow
A. Nahapetian
Acta Informatica
3
, 1974, pp. 37-41
Reducing the number of multiplications in iterative processes
B.L. Fox
Acta Informatica
3
, 1974, pp. 43-45
Critical comments on the programming language Pascal
A.N. Habermann
Acta Informatica
3
, 1974, pp. 47-57
Normal forms for context-sensitive grammars
A.B. Cremers
Acta Informatica
3
, 1974, pp. 59-73
Lineare Realisierbarkeit endlicher Automaten über endlichen Körpern
Lutz Eichner
Acta Informatica
3
, 1974, pp. 75-100
An analytic storage allocation model
T. Betteridge
Acta Informatica
3
, 1974, pp. 101-122
A unified view of the complexity of evaluation and interpolation
Ellis Horowitz
Acta Informatica
3
, 1974, pp. 123-133
Consistent and complementary formal theories of the semantics of programming languages
C.A.R. Hoare
,
P.E. Lauer
Acta Informatica
3
, 1974, pp. 135-153
Weakly context-sensitive languages as model for programming languages
P.F. Schuler
Acta Informatica
3
, 1974, pp. 155-170
über die Vernetzungsstruktur von Maschinen
Gerd Kaufholz
Acta Informatica
3
, 1974, pp. 171-186
An abstract machine theory for formal language parsers
David B. Benson
Acta Informatica
3
, 1974, pp. 187-202
Bounds on the Parallel Evaluation of Arithmetic Expressions Using Associativity and Commutativity
D. Kuck
,
Y. Muraoka
Acta Informatica
3
(3), 1974, pp. 203-216
Zur Komplexität von Sortierproblemen
W.J. Paul
,
H.-J. Stoß
Acta Informatica
3
, 1974, pp. 217-225
On procedures as open subroutines. II
Hans Langmaack
Acta Informatica
3
, 1974, pp. 227-241
Axiomatic approach to total correctness of programs
Zohar Manna
,
Amir Pnueli
Acta Informatica
3
, 1974, pp. 243-263
Nonterminals versus homomorphisms in defining languages for some classes of rewriting systems
A. Ehrenfeucht
,
G. Rozenberg
Acta Informatica
3
, 1974, pp. 265-283
On derivation languages corresponding to context-free grammars
Martti Penttonen
Acta Informatica
3
, 1974, pp. 285-291
Sur une conjecture de S. Greibach
Jean Bersel
Acta Informatica
3
, 1974, pp. 293-295
Choosing a storage schema
C.C. Gotlieb
,
Frank W. Tompa
Acta Informatica
3
, 1974, pp. 297-319
Analyse d'un algorithme de gestion simultanée. Mémoire centrale - disque de pagination
E. Gelenbe
,
J. Lenfant
,
D. Potier
Acta Informatica
3
, 1974, pp. 321-345
Performance bounds on the splitting algorithm for binary testing
M.R. Garey
,
R.L. Graham
Acta Informatica
3
, 1974, pp. 347-355
Nonterminals, homomorphisms and codings in different variations of OL-systems
M. Nielsen
,
G. Rozenberg
,
A. Salomaa
,
S. Skyum
Acta Informatica
3
, 1974, pp. 357-364
Eigenschaften der von linearen Automaten erkennbaren Worte
K. Ecker
,
H. Ratschek
Acta Informatica
3
, 1974, pp. 365-383
Seiten 1
2
>