Implantation de l'algorithme de Stalmarck dans le cadre de la cooperation COQ/ELAN
In: https://inria.hal.science/inria-00099219 ; [Stage] A00-R-359 || kacem00e, 2000, 76 p, 2000
report
Zugriff:
Stage de fin d'etudes. Rapport de stage. ; 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.
Titel: |
Implantation de l'algorithme de Stalmarck dans le cadre de la cooperation COQ/ELAN
|
---|---|
Autor/in / Beteiligte Person: | Kacem, Hassen ; Constraintsomatic deduction and software properties proofs (PROTHEO) ; Lorraine, INRIA ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-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)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS) |
Link: | |
Zeitschrift: | https://inria.hal.science/inria-00099219 ; [Stage] A00-R-359 || kacem00e, 2000, 76 p, 2000 |
Veröffentlichung: | HAL CCSD, 2000 |
Medientyp: | report |
Schlagwort: |
|
Sonstiges: |
|