Journals in DBLP

ACM Trans. Comput. Log.
2000, volume: 1, number: 1

1. Lawrence C. Paulson
   Mechanizing UNITY in Isabelle. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2000, v:1, n:1, pp:3-32 [Journal]
   
2. Leonid Libkin
   Logics with counting and local properties. [Citation Graph (1, 0)][DBLP]
   ACM Trans. Comput. Log., 2000, v:1, n:1, pp:33-59 [Journal]
   
3. Dexter Kozen
   On Hoare logic and Kleene algebra with tests. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2000, v:1, n:1, pp:60-76 [Journal]
   
4. Yuri Gurevich
   Sequential abstract-state machines capture sequential algorithms. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2000, v:1, n:1, pp:77-111 [Journal]
   
5. Martin Grohe, Thomas Schwentick
   Locality of order-invariant first-order formulas. [Citation Graph (1, 0)][DBLP]
   ACM Trans. Comput. Log., 2000, v:1, n:1, pp:112-130 [Journal]
   
6. Paolo Liberatore
   Compilability and compact representations of revision of Horn knowledge bases. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2000, v:1, n:1, pp:131-161 [Journal]
   
7. Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton
   Model-checking continous-time Markov chains. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2000, v:1, n:1, pp:162-170 [Journal]
   
8. Ernie Cohen, Dexter Kozen
   A note on the complexity of propositional Hoare logic. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2000, v:1, n:1, pp:171-174 [Journal]