|
Journals in DBLP
TPLP 2001, volume: 1, number: 4
- Sergio Greco, Carlo Zaniolo
Greedy Algorithms in Datalog. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:4, pp:381-407 [Journal]
- Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formula. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:4, pp:409-445 [Journal]
- Jan-Georg Smaus, Patricia M. Hill, Andy King
Verifying Termination and Error-Freedom of Logic Programs with block Declarations. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:4, pp:447-486 [Journal]
- Hudson Turner
Order-consistent programs are cautiously monotonic. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:4, pp:487-495 [Journal]
|