Journals in DBLP

ACM Trans. Comput. Log.
2001, volume: 2, number: 1

1. Andreas Blass, Yuri Gurevich
   Inadequacy of computable loop invariants. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2001, v:2, n:1, pp:1-11 [Journal]
   
2. Michael Fisher, Clare Dixon, Martin Peim
   Clausal temporal resolution. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2001, v:2, n:1, pp:12-56 [Journal]
   
3. Sofie Verbaeten, Danny De Schreye, Konstantinos F. Sagonas
   Termination proofs for logic programs with tabling. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2001, v:2, n:1, pp:57-92 [Journal]
   
4. Randal E. Bryant, Steven M. German, Miroslav N. Velev
   Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2001, v:2, n:1, pp:93-134 [Journal]
   
5. Leonid Libkin
   Logics capturing local properties. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2001, v:2, n:1, pp:135-153 [Journal]