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 YEAR=1989
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Iteration of transformation passes over attributed program trees
H. Alblas
Acta Informatica
27
, 1989, pp. 1-40
A model of the dynamic behavior of B-trees
C.E. Langenhop
,
W.E. Wright
Acta Informatica
27
, 1989, pp. 41-59
An almost linear Robinson unification algorithm
P. Ruz̑ic̑ka
,
I. Privara
Acta Informatica
27
, 1989, pp. 61-71
A note on synthesis and classification of sorting algorithms
K.K. Lau
Acta Informatica
27
, 1989, pp. 73-80
Scattered versus context-sensitive rewriting
J. Gonczarowski
,
M.K. Warmuth
Acta Informatica
27
, 1989, pp. 81-95
An incremental mechanical development of systolic solutions to the algebraic path problem
C.-H. Huang
,
C. Lengauer
Acta Informatica
27
, 1989, pp. 97-124
Step failures semantics and a complete proof system
D. Taubner
,
W. Vogler
Acta Informatica
27
, 1989, pp. 125-156
Some efficient computational algorithms related to phase models
V. Rego
Acta Informatica
27
, 1989, pp. 157-177
HDTOL matching of computations of multitape automata
K. Culik II
,
J. Karhumäki
Acta Informatica
27
, 1989, pp. 179-191
Merging sorted runs using large main memory
B. Salzberg
Acta Informatica
27
, 1989, pp. 195-215
Describing semantic domains with sprouts
Gunther Schmidt
,
Rudolf Berghammer
,
Hans Zierer
Acta Informatica
27
(3), 1989, pp. 217-245
A maximum entropy priority approximation for a stable G/G/1 queue
D. Kouvatsos
,
N. Tabet-Aouel
Acta Informatica
27
, 1989, pp. 247-286