Sciweavers

3513 search results - page 169 / 703
» Super Logic Programs
Sort
View
134
Voted
AGP
1996
IEEE
15 years 11 months ago
On Termination of Constraint Logic Programs
Salvatore Ruggieri
137
Voted
COCO
1997
Springer
81views Algorithms» more  COCO 1997»
15 years 11 months ago
Complexity and Expressive Power of Logic Programming
Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andre...
154
Voted
ICLP
1997
Springer
15 years 11 months ago
Optimization of Logic Programs with Dynamic Scheduling
Germán Puebla, Maria J. García de la...
LFCS
1997
Springer
15 years 11 months ago
Basic Forward Chaining Construction for Logic Programs
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel