External Links

    Journal: Inf. Comput.

    Volume 164, Issue 2

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

    Volume 164, Issue 1

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