Implantation de l'algorithme de Stalmarck dans le cadre de la cooperation COQ/ELAN - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2000

Implantation de l'algorithme de Stalmarck dans le cadre de la cooperation COQ/ELAN

Abstract

Il s'agit d'une implantation de l'algorithme de Stalmarck en ELAN en vue d'en faire une procedure de decision pour le compte du systeme de preuve COQ. l'algorithme de Stalmarck sert a tester la validite d'une formule propositionnelle. ELAN est un environnement pour specifier et prototyper des systemes de deduction, il se base sur le reecriture.
No file

Dates and versions

inria-00099219 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099219 , version 1

Cite

Hassen Kacem. Implantation de l'algorithme de Stalmarck dans le cadre de la cooperation COQ/ELAN. [Stage] A00-R-359 || kacem00e, 2000, 76 p. ⟨inria-00099219⟩
71 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More