Sciweavers

3566 search results - page 192 / 714
» Signed Logic Programs
Sort
View
67
Voted
CORR
1998
Springer
69views Education» more  CORR 1998»
14 years 11 months ago
Scoping Constructs in Logic Programming: Implementation Problems and their Solution
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
AMAI
1999
Springer
14 years 11 months ago
Nested Expressions in Logic Programs
Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
CSUR
1998
73views more  CSUR 1998»
14 years 11 months ago
A Unifying View of Functional and Logic Program Specialization
María Alpuente, Moreno Falaschi, Germ&aacut...
APAL
1999
55views more  APAL 1999»
14 years 11 months ago
Logic Programs, Well-Orderings, and Forward Chaining
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel