Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives

Autor:	Mouakher, Inès, Alexandre, Francis, Bsaïes, Khaled
Přispěvatelé:	Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis (FST), Université de Tunis El Manar (UTM), Development of specifications (DEDALE), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), CRIL - CNRS FRE 2499, Christine Solnon, Solnon, Christine
Jazyk:	francouzština
Rok vydání:	2005
Předmět:	[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI] [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS] [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS] [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Zdroj:	Premières Journées Francophones de Programmation par Contraintes-JFPC'2005 Premières Journées Francophones de Programmation par Contraintes-JFPC'2005, CRIL-CNRS FRE 2499, Jun 2005, Lens/France, pp.179-188
Popis:	http://www710.univ-lyon1.fr/~csolnon; L'objectif général de ce travail est de prouver les propriétés des programmes logiques (ensemble de clauses de Horn). Ces propriétés sont des formules de la forme A
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e91cc36e7aadb96ac71a2ba184d2eaa0 https://hal.inria.fr/inria-00000070 Zobrazit plný text záznamu