The SCEAS System
Navigation Menu

Journals in DBLP

TPLP
2004, volume: 4, number: 5-6

  1. Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche
    Introduction to the Special Issue on Verification and Computational Logic. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:543-544 [Journal]
  2. Giampaolo Bella, Stefano Bistarelli
    Soft Constraint Programming to Analysing Security Protocols. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:545-572 [Journal]
  3. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    Model Checking Linear Logic Specifications. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:573-619 [Journal]
  4. Massimo Franceschet, Angelo Montanari
    Temporalized logics and automata for time granularity. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:621-658 [Journal]
  5. Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe
    On model checking data-independent systems with arrays without reset. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:659-693 [Journal]
  6. Carla Piazza, Alberto Policriti
    Ackermann Encoding, Bisimulations, and OBDDs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:695-718 [Journal]
  7. Alexander Serebrenik, Danny De Schreye
    Inference of termination conditions for numerical loops in Prolog. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:719-751 [Journal]
  8. Peter A. Flach
    Book review: Logic for Learning: Learning Comprehensible Theories from Structured Data by John W. Lloyd, Springer-Verlag, 2003, ISBN 3-540-42027-4. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:753-755 [Journal]
  9. Roland H. C. Yap
    Book review: Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, ISBN 1-55860-890-7. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:755-757 [Journal]
  10. Francesca Rossi
    Book review: Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, ISBN 0-521-82583-0. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:758-762 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002