Sciweavers

3566 search results - page 193 / 714
» Signed Logic Programs
Sort
View
TOPLAS
1998
41views more  TOPLAS 1998»
14 years 11 months ago
Partial Evaluation of Functional Logic Programs
María Alpuente, Moreno Falaschi, Germ&aacut...
TOPLAS
1998
113views more  TOPLAS 1998»
14 years 11 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift