Information and Computation
, Volume 168
Volume 168, Number 1, July 2001
Giuseppe Castagna
,
Gang Chen
:
Dependent Types with Subtyping and Late-Bound Overloading.
1-67
Chiara Bodei
,
Pierpaolo Degano
,
Flemming Nielson
,
Hanne Riis Nielson
:
Static Analysis for the pi-Calculus with Applications to Security.
68-92
Volume 168, Number 2, August 2001
Konstantin Skodinis
:
The Complexity of the K
n, n
-Problem for Node Replacement Graph Languages.
95-112
Anna Bernasconi
,
Carsten Damm
,
Igor Shparlinski
:
Circuit and Decision Tree Complexity of Some Number Theoretic Problems.
113-124
Henning Fernau
,
Ludwig Staiger
:
Iterated Function Systems and Control Languages.
125-143
Clelia de Felice
:
On Some Schützenberger Conjectures.
144-155
Frank Neven
,
Martin Otto
,
Jerzy Tyszkiewicz
,
Jan Van den Bussche
:
Adding For-Loops to First-Order Logic.
156-186
Shigeki Iwata
:
Lower Bounds for Merging Networks.
187-195
Last update Mon Feb 13 04:48:34 2012 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page