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=175
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Aliasing models for mobile objects
Uwe Nestmann
,
Hans Hüttel
,
Josva Kleist
,
Massimo Merro
Information and Computation
175
(1), 2002, pp. 3-33
Foundations for virtual types
Atsushi Igarashi
,
Benjamin C. Pierce
Information and Computation
175
(1), 2002, pp. 34-49
Foundations for extensible objects with roles
Giorgio Ghelli
Information and Computation
175
(1), 2002, pp. 50-75
Modular statically typed multimethods
Todd Millstein
,
Craig Chambers
Information and Computation
175
(1), 2002, pp. 76-118
Language-based performance prediction for distributed and mobile systems
Corrado Priami
Information and Computation
175
(2), 2002, pp. 119-145
Suboptimal measures of predictive complexity for absolute loss function
V.V. V'yugin
Information and Computation
175
(2), 2002, pp. 146-157
Reduction of permutation-invariant polynomials - A noncommutative case study
Manfred Göbel
,
Heinz Kredel
Information and Computation
175
(2), 2002, pp. 158-170
Almost-everywhere superiority for quantum polynomial time
Edith Hemaspaandra
,
Lane A. Hemaspaandra
,
Marius Zimand
Information and Computation
175
(2), 2002, pp. 171-181
The undecidability of the first-order theories of one step rewriting in linear canonical systems
Sergei Vorobyov
Information and Computation
175
(2), 2002, pp. 182-213