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=Inf.~Comput. AND Volume=133
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Optimal algorithms for broadcast and gossip in the edge-disjoint path modes
Juraj Hromkovic̑
,
Ralf Klasing
,
Walter Unger
,
Hubert Wagener
Information and Computation
133
(1), 1997, pp. 1-33
Strong normalization from weak normalization in typed
\lambda
-calculi
Morten Heine Srensen
Information and Computation
133
(1), 1997, pp. 35-71
Normalization results for typeable rewrite systems
Steffen van Bakel
,
Maribel Fernández
Information and Computation
133
(2), 1997, pp. 73-116
Determinization and memoryless winning strategies
Charanjit S. Jutla
Information and Computation
133
(2), 1997, pp. 117-134