Journals in DBLP

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

1. Ofer Arieli
   Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:3, pp:- [Journal]
   
2. Andreas Blass, Yuri Gurevich
   Ordinary interactive small-step algorithms, III. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:3, pp:- [Journal]
   
3. Thomas Eiter, Michael Fink, Stefan Woltran
   Semantical characterizations and complexity of equivalences in answer set programming. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:3, pp:- [Journal]
   
4. Andreas Blass, Yuri Gurevich
   Ordinary interactive small-step algorithms, II. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:3, pp:- [Journal]
   
5. Marco Pedicini, Francesco Quaglia
   PELCR: Parallel environment for optimal lambda-calculus reduction. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2007, v:8, n:3, pp:- [Journal]