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