
Journals in DBLP
 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]
 Paolo Liberatore
Where failsafe default logics fail. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:2, pp: [Journal]
 Fangzhen Lin, JiaHuai 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]
 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]
 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]
 Viorica SofronieStokkermans
On unification for bounded distributive lattices. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:2, pp: [Journal]
