Sciweavers

5506 search results - page 226 / 1102
» Minimal Logic Programs
Sort
View
CSUR
1998
73views more  CSUR 1998»
15 years 3 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 3 months ago
Logic Programs, Well-Orderings, and Forward Chaining
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
TOPLAS
1998
41views more  TOPLAS 1998»
15 years 3 months ago
Partial Evaluation of Functional Logic Programs
María Alpuente, Moreno Falaschi, Germ&aacut...