Journals in DBLP

TPLP
2002, volume: 2, number: 1

1. Miroslaw Truszczynski
   Computing large and small stable models. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:1, pp:1-23 [Journal]
   
2. Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
   Sequence-based abstract interpretation of Prolog. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:1, pp:25-84 [Journal]
   
3. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
   An effective fixpoint semantics for linear logic programs. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:1, pp:85-122 [Journal]
   
4. Krzysztof R. Apt
   Book review: Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:1, pp:123-124 [Journal]