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=179
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The subtyping problem for second-order types is undecidable
Jerzy Tiuryn
,
Paweƚ Urzyczyn
Information and Computation
179
(1), 2002, pp. 1-18
A linear logical framework
Iliano Cervesato
,
Frank Pfenning
Information and Computation
179
(1), 2002, pp. 19-75
A fully abstract model for the
\pi
-calculus
M.P. Fiore
,
E. Moggi
,
D. Sangiorgi
Information and Computation
179
(1), 2002, pp. 76-117
The essence of parallel Algol
Stephen Brookes
Information and Computation
179
(1), 2002, pp. 118-149
On the complexity of reasoning in Kleene algebra
Dexter Kozen
Information and Computation
179
(2), 2002, pp. 152-162
Bisimulation for labelled Markov processes
Josée Desharnais
,
Abbas Edalat
,
Prakash Panangaden
Information and Computation
179
(2), 2002, pp. 163-193
Boolean expression diagrams
Henrik Reif Andersen
,
Henrik Hulgaard
Information and Computation
179
(2), 2002, pp. 194-212
Set constraints with intersection
Witold Charatonik
,
Andreas Podelski
Information and Computation
179
(2), 2002, pp. 213-229
An expressively complete linear time temporal logic for Mazurkiewicz traces
P.S. Thiagarajan
,
I. Walukiewicz
Information and Computation
179
(2), 2002, pp. 230-249
Large finite structures with few
L^k
-types
Martin Grohe
Information and Computation
179
(2), 2002, pp. 250-278
First-order logic with two variables and unary temporal logic
Kousha Etessami
,
Moshe Y. Vardi
,
Thomas Wilke
Information and Computation
179
(2), 2002, pp. 279-295
A relational account of call-by-value sequentiality
Jon G. Riecke
,
Anders Sandholm
Information and Computation
179
(2), 2002, pp. 296-331
Completeness of continuation models for
\lambda_\mu
-calculus
Martin Hofmann
,
Thomas Streicher
Information and Computation
179
(2), 2002, pp. 332-355
The monadic quantifier alternation hierarchy over grids and graphs
Oliver Matz
,
Nicole Schweikardt
,
Wolfgang Thomas
Information and Computation
179
(2), 2002, pp. 356-383
Erratum to ''Mobile objects as mobile processes''
Massimo Merro
,
Josva Kleist
,
Uwe Nestmann
Information and Computation
179
(2), 2002, pp. 384-384