Information and Computation, Volume 164

Volume 164, Number 1, January 2001

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

Volume 164, Number 2, January 2001

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