Sciweavers

1 search results - page 1 / 1
» jfplc 2000
Sort
View
109
Voted
JFPLC
2000
15 years 1 months ago
Preuves infinies en Programmation logique
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
Mathieu Jaume