Journals in DBLP

Inf. Comput.
2000, volume: 157, number: 1-2

1. Kousha Etessami, Neil Immerman
   Tree Canonization and Transitive Closure. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:157, n:1-2, pp:2-24 [Journal]
   
2. Hubert Comon
   Sequentiality, Monadic Second-Order Logic and Tree Automata. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:157, n:1-2, pp:25-51 [Journal]
   
3. Daniel J. Dougherty, Ramesh Subrahmanyam
   Equality between Functionals in the Presence of Coproducts. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:157, n:1-2, pp:52-83 [Journal]
   
4. Frank Pfenning
   Structural Cut Elimination: I. Intuitionistic and Classical Logic. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:157, n:1-2, pp:84-141 [Journal]
   
5. Igor Walukiewicz
   Completeness of Kozen's Axiomatisation of the Propositional µ-Calculus. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:157, n:1-2, pp:142-182 [Journal]
   
6. Gilles Dowek, Thérèse Hardin, Claude Kirchner
   Higher Order Unification via Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2000, v:157, n:1-2, pp:183-235 [Journal]