The SCEAS System
Navigation Menu

Journals in DBLP

TPLP
2005, volume: 5, number: 3

  1. María Alpuente, Salvador Lucas, Michael Hanus, Germán Vidal
    Specialization of functional logic programs based on needed narrowing. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:3, pp:273-303 [Journal]
  2. Gopalan Nadathur
    A treatment of higher-order features in logic programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:3, pp:305-354 [Journal]
  3. Alexander Serebrenik, Danny De Schreye
    On termination of meta-programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:3, pp:355-390 [Journal]
  4. Bart Demoen
    Book review: Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:3, pp:391-395 [Journal]
  5. Nachum Dershowitz
    Book review: Term Rewriting Systems by "Terese" (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:3, pp:395-399 [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