Journals in DBLP

ACM Trans. Comput. Log.
2007, volume: 8, number: 2

1. John M. Hitchcock, Jack H. Lutz, Sebastiaan Terwijn
   The arithmetical complexity of dimension and randomness. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:2, pp:- [Journal]
   
2. Paolo Liberatore
   Where fail-safe default logics fail. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:2, pp:- [Journal]
   
3. Fangzhen Lin, Jia-Huai You
   Recycling computed answers in rewrite systems for abduction. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:2, pp:- [Journal]
   
4. Michael Benedikt, Leonid Libkin, Frank Neven
   Logical definability and query languages over ranked and unranked trees. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:2, pp:- [Journal]
   
5. Karl Crary
   Sound and complete elimination of singleton kinds. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:2, pp:- [Journal]
   
6. Viorica Sofronie-Stokkermans
   On unification for bounded distributive lattices. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:2, pp:- [Journal]