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
Copyright ©
Tue Nov 10 00:43:23 2009 by
Michael Ley
(
ley@uni-trier.de
)