Sciweavers

3693 search results - page 199 / 739
» Splitting a Logic Program
Sort
View
AMAI
1999
Springer
15 years 5 months ago
Nested Expressions in Logic Programs
Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
CSUR
1998
73views more  CSUR 1998»
15 years 5 months ago
A Unifying View of Functional and Logic Program Specialization
María Alpuente, Moreno Falaschi, Germ&aacut...
APAL
1999
55views more  APAL 1999»
15 years 5 months ago
Logic Programs, Well-Orderings, and Forward Chaining
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel