Journals in DBLP

ACM Trans. Comput. Log.
2006, volume: 7, number: 3

1. Yan Zhang
   Logic program-based updates. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2006, v:7, n:3, pp:421-472 [Journal]
   
2. Andrzej S. Murawski, C.-H. Luke Ong
   Fast verification of MLL proof nets via IMLL. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2006, v:7, n:3, pp:473-498 [Journal]
   
3. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
   The DLV system for knowledge representation and reasoning. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2006, v:7, n:3, pp:499-562 [Journal]
   
4. Stefano Bistarelli, Ugo Montanari, Francesca Rossi
   Soft concurrent constraint programming. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2006, v:7, n:3, pp:563-589 [Journal]
   
5. Arthur Charlesworth
   Comprehending software correctness implies comprehending an intelligence-related limitation. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2006, v:7, n:3, pp:590-612 [Journal]