Moussa Demba

According to our database, Moussa Demba authored at least 6 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

KeyFinder: An Efficient Minimal Keys Finding Algorithm For Relational Databases.

Moussa Demba

Inteligencia Artif., 2021

2018

Equivalence checking of two functional programs using inductive theorem provers.

Moussa Demba

Inf. Process. Lett., 2018

2004

Appropriate lemmae discovery.

Moussa Demba, Khaled Bsaïes

Inf. Sci., 2004

2003

Correction de conjectures fausses par synthèse de programmes.

Francis Alexandre, Khaled Bsaïes, Moussa Demba

Tech. Sci. Informatiques, 2003

Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.

Francis Alexandre, Khaled Bsaïes, Moussa Demba

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2002

Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence.

Moussa Demba, Khaled Bsaïes

Proceedings of the Programmation en logique avec contraintes, 2002