| 2004 |
|---|
| 5 | EE | Moussa Demba,
Khaled Bsaïes:
Appropriate lemmae discovery.
Inf. Sci. 163(4): 221-237 (2004) |
| 2003 |
|---|
| 4 | | Moussa Demba,
Francis Alexandre,
Khaled Bsaïes:
Correction de Conjectures Fausses par Synthèse de Programmes.
JFPLC 2003: 307-310 |
| 3 | EE | Francis Alexandre,
Khaled Bsaïes,
Moussa Demba:
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.
LOPSTR 2003: 20-33 |
| 2 | EE | Francis Alexandre,
Khaled Bsaïes,
Moussa Demba:
Correction de conjectures fausses par synthèse de programmes.
Technique et Science Informatiques 22(1): 307-310 (2003) |
| 2002 |
|---|
| 1 | | Moussa Demba,
Khaled Bsaïes:
Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence.
JFPLC 2002: 227- |
