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
BibTeX
Chiara Bodei
,
Pierpaolo Degano
,
Flemming Nielson
,
Hanne Riis Nielson
: Static Analysis for the pi-Calculus with Applications to Security. 68-92
BibTeX
Volume 168, Number 2, August 2001
Konstantin Skodinis
: The Complexity of the K
n, n
-Problem for Node Replacement Graph Languages. 95-112
BibTeX
Anna Bernasconi
,
Carsten Damm
,
Igor Shparlinski
: Circuit and Decision Tree Complexity of Some Number Theoretic Problems. 113-124
BibTeX
Henning Fernau
,
Ludwig Staiger
: Iterated Function Systems and Control Languages. 125-143
BibTeX
Clelia de Felice
: On Some Schützenberger Conjectures. 144-155
BibTeX
Frank Neven
,
Martin Otto
,
Jerzy Tyszkiewicz
,
Jan Van den Bussche
: Adding For-Loops to First-Order Logic. 156-186
BibTeX
Shigeki Iwata
: Lower Bounds for Merging Networks. 187-195
BibTeX
Copyright ©
Sun May 17 00:00:00 2009 by
Michael Ley
(
ley@uni-trier.de
)