Moussa Demba

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 2

Top Topics

Functional Programs

Relational Databases

Top Venues

Inteligencia Artif.

Inf. Process. Lett.

Publications

Moussa Demba
KeyFinder: An Efficient Minimal Keys Finding Algorithm For Relational Databases. Inteligencia Artif. 24 (68) (2021)
Moussa Demba
Equivalence checking of two functional programs using inductive theorem provers. Inf. Process. Lett. 129 (2018)
Moussa Demba, Khaled Bsaïes
Appropriate lemmae discovery. Inf. Sci. 163 (4) (2004)
Francis Alexandre, Khaled Bsaïes, Moussa Demba
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. LOPSTR (2003)
Francis Alexandre, Khaled Bsaïes, Moussa Demba
Correction de conjectures fausses par synthèse de programmes. Tech. Sci. Informatiques 22 (1) (2003)
Moussa Demba, Francis Alexandre, Khaled Bsaïes
Correction de Conjectures Fausses par Synthèse de Programmes. JFPLC (2003)
Moussa Demba, Khaled Bsaïes
Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. JFPLC (2002)