Journals in DBLP

Inf. Comput.
2001, volume: 164, number: 1

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