Publications de
Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker
Vérification d’une méthode de preuve pour la logique de description ALC (regular paper)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2010), Poitiers, 09/06/10-11/06/10, Yamine Ait-Ameur (Eds.), LISI-ENSMA, p. 149-163, juin 2010.
Accès : http://www.irit.fr/~Martin.Strecker/Publications/afadl10.html
BibTeXMohamed Chaabani, Mohamed Mezghiche, Martin Strecker
Formalisation de la logique de description ALC dans l’assistant de preuve Coq (regular paper)
Dans : Journées d’Etudes Algéro-Françaises en Imagerie Médicale (JETIM 2009), Poitiers, 03/12/09-04/12/09, ACM : Association for Computing Machinery, p. 139-147, décembre 2009.
Accès : http://www.irit.fr/~Martin.Strecker/Publications/jfo09.html
BibTeX