Journals in DBLP

ACM Trans. Comput. Log.
2001, volume: 2, number: 3

1. Thomas Lukasiewicz
   Probabilistic logic programming with conditional constraints. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2001, v:2, n:3, pp:289-339 [Journal]
   
2. Uwe Egly, Hans Tompits
   Proof-complexity results for nonmonotonic reasoning. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2001, v:2, n:3, pp:340-387 [Journal]
   
3. Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled
   Parametric temporal logic for "model measuring". [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2001, v:2, n:3, pp:388-407 [Journal]
   
4. Orna Kupferman, Moshe Y. Vardi
   Weak alternating automata are not that weak. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Comput. Log., 2001, v:2, n:3, pp:408-429 [Journal]