The SCEAS System
Navigation Menu

Journals in DBLP

TPLP
2005, volume: 5, number: 6

  1. Omid Banyasad, Philip T. Cox
    Integrating design synthesis and assembly of structured objects in a visual design language. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:6, pp:601-622 [Journal]
  2. Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
    Checking modes of HAL progams. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:6, pp:623-668 [Journal]
  3. Wlodzimierz Drabent, Miroslawa Milkowska
    Proving correctness and completeness of normal programs - a declarative approach. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:6, pp:669-711 [Journal]
  4. Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano
    Optimization of bound disjunctive queries with constraints. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:6, pp:713-745 [Journal]
  5. Stefania Costantini, Alessandro Provetti
    Normal forms for answer sets programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:6, pp:747-760 [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