
Journals in DBLP
Inf. Comput. 2000, volume: 157, number: 12
 Kousha Etessami, Neil Immerman
Tree Canonization and Transitive Closure. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:157, n:12, pp:224 [Journal]
 Hubert Comon
Sequentiality, Monadic SecondOrder Logic and Tree Automata. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:157, n:12, pp:2551 [Journal]
 Daniel J. Dougherty, Ramesh Subrahmanyam
Equality between Functionals in the Presence of Coproducts. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:157, n:12, pp:5283 [Journal]
 Frank Pfenning
Structural Cut Elimination: I. Intuitionistic and Classical Logic. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:157, n:12, pp:84141 [Journal]
 Igor Walukiewicz
Completeness of Kozen's Axiomatisation of the Propositional µCalculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:157, n:12, pp:142182 [Journal]
 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:12, pp:183235 [Journal]
