Journals in DBLP

ACM Trans. Comput. Log.
2005, volume: 6, number: 1

1. Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin
   A classification of symbolic transition systems. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:1, pp:1-32 [Journal]
   
2. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
   Making abstract domains condensing. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:1, pp:33-60 [Journal]
   
3. Robert Harper, Frank Pfenning
   On equivalence and canonical forms in the LF type theory. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:1, pp:61-101 [Journal]
   
4. Rakesh M. Verma, Ara Hayrapetyan
   A new decidability technique for ground term rewriting systems with applications. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:1, pp:102-123 [Journal]
   
5. Churn-Jung Liau
   A modal logic framework for multi-agent belief fusion. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:1, pp:124-174 [Journal]
   
6. Wim H. Hesselink
   Eternity variables to prove simulation of specifications. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2005, v:6, n:1, pp:175-201 [Journal]