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