|
Depot Institutionnel de l'UMBB >
Browsing by Author Chaabani, Mohamed
Showing results 1 to 7 of 7
| Date de publication | Titre | Auteur(s) | | 2009 | Formalisation de la logique de description ALC dans l'assistant de preuve Coq | Chaabani, Mohamed; Mezghiche, Mohamed; Strecker, Martin |
| 2018 | A Formalized procedure for database horizontal fragmentation in isabelle/HOL Proof Assistant | Cheikh, Salmi; Chaabani, Mohamed; Mezghiche, Mohamed |
| 2013 | Logical foundations for reasoning about transformations of knowledge bases | Chaabani, Mohamed; Echahed, R.; Strecker, M. |
| 2023 | Outils de développement formel pour les logiques de description | Chaabani, Mohamed; Mezghiche, Mohamed(Directeur de thèse) |
| 2020 | A practical approach for verification of graph transformation with description logic | Chaabani, Mohamed; Mezghiche, Mohamed |
| 2003 | Spécification, preuve et extraction automatique des programmes en cop cas : l'algorithme HEB + réduction | Chaabani, Mohamed |
| 2010 | Vérification d'une méthode de preuve pour la logique de description ALC | Chaabani, Mohamed; Mezghiche, Mohamed; Strecker, Martin |
Showing results 1 to 7 of 7
|
