Information and Computation, Volume 164

Volume 164, Number 1, January 2001

• Dominic Duggan:
  Higher-Order Substitutions. 1-53
  
• Rosario Gennaro, Stanislaw Jarecki, Hugo Krawczyk, Tal Rabin:
  Robust Threshold DSS Signatures. 54-84
  
• Marc Gyssens, Dan Suciu, Dirk Van Gucht:
  Equivalence and Normal Forms for the Restricted and Bounded Fixpoint in the Nested Algebra. 85-117
  
• Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom:
  Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems. 118-151
  
• Sinisa Crvenkovic, Igor Dolinka, Zoltán Ésik:
  On Equations for Union-Free Regular Languages. 152-172
  
• Alexey P. Kopylov:
  Decidability of Linear Affine Logic. 173-198
  
• Marino Miculan:
  On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions. 199-231
  

Volume 164, Number 2, January 2001

• Rajeev Alur, Thomas A. Henzinger:
  Introduction. 233
  
• Igor Walukiewicz:
  Pushdown Processes: Games and Model-Checking. 234-263
  
• Marco Pistore, Davide Sangiorgi:
  A Partition Refinement Algorithm for the -Calculus. 264-321
  
• Orna Kupferman, Moshe Y. Vardi, Pierre Wolper:
  Module Checking. 322-344
  
• Jerzy Tiuryn:
  A Sequent Calculus for Subtyping Polymorphic Types. 345-369
  

Last update Tue Feb 14 04:18:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page