Journals in DBLP

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

1. Frédéric Mesnard, Salvatore Ruggieri
   On proving left termination of constraint logic programs. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:2, pp:1-26 [Journal]
   
2. Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli
   Computational properties of metaquerying problems. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:2, pp:149-180 [Journal]
   
3. Doron Bustan, Orna Grumberg
   Simulation-based minimazation. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:2, pp:181-206 [Journal]
   
4. Frédéric Mesnard, Salvatore Ruggieri
   On proving left termination of constraint logic programs. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:2, pp:207-259 [Journal]
   
5. Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev
   Logics of metric spaces. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2003, v:4, n:2, pp:260-294 [Journal]