Journals in DBLP

ACM Trans. Comput. Log.
2003, volume: 4, number: 3

1. Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno
   LICS 2001 special issue. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:3, pp:295- [Journal]
   
2. Micah Adler, Neil Immerman
   An n! lower bound on formula size. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:3, pp:296-314 [Journal]
   
3. Noga Alon, Tova Milo, Frank Neven, Dan Suciu, Victor Vianu
   Typechecking XML views of relational databases. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:3, pp:315-354 [Journal]
   
4. Dexter Kozen, Jerzy Tiuryn
   Substructural logic and partial correctness. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:3, pp:355-378 [Journal]
   
5. Antonino Salibra
   Topological incompleteness and order incompleteness of the lambda calculu. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:3, pp:379-401 [Journal]
   
6. Jeremy Avigad
   Eliminating definitions and Skolem functions in first-order logic. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:3, pp:402-415 [Journal]