|
СТ |
Une transformation de programmes logiques en systemes de reecriture |
1990 |
Alexandre F. |
|
|
|
BIGRE |
16.02.1991 |
|
СТ |
A Technique for Transforming Logic Programs by Fold-Unfold Transformations |
1992 |
Alexandre F. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |
|
СТ |
Spes: A System for Logic Program Transformation |
1992 |
Alexandre F., Bsaies K., Finance J. -P., Quere A. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1992 |
|
СТ |
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures |
2004 |
Alexandre F., Bsaies K., Domba M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
