Sciweavers

3566 search results - page 192 / 714
» Signed Logic Programs
Sort
View
CORR
1998
Springer
69views Education» more  CORR 1998»
15 years 2 months ago
Scoping Constructs in Logic Programming: Implementation Problems and their Solution
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon
84
Voted
AMAI
1999
Springer
15 years 2 months ago
Nested Expressions in Logic Programs
Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner
CSUR
1998
73views more  CSUR 1998»
15 years 2 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 2 months ago
Logic Programs, Well-Orderings, and Forward Chaining
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel