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