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=191
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Reasoning about common knowledge with infinitely many agents
Joseph Y. Halpern
,
Richard A. Shore
Information and Computation
191
(1), 2004, pp. 1-40
Higher-order subtyping and its decidability
Adriana Compagnoni
Information and Computation
191
(1), 2004, pp. 41-103
Bisimulation on speed: Worst-case efficiency
Gerald Lüttgen
,
Walter Vogler
Information and Computation
191
(2), 2004, pp. 105-144
Strong normalisation in the
\pi
-calculus
Nobuko Yoshida
,
Martin Berger
,
Kohei Honda
Information and Computation
191
(2), 2004, pp. 145-202
Nested semantics over finite trees are equationally hard
Luca Aceto
,
Wan Fokkink
,
Rob van Glabbeek
,
Anna Ingólfsdóttir
Information and Computation
191
(2), 2004, pp. 203-232