Implémentation d'un prouveur de théorèmes inductifs dans le système REVE
Identifieur interne : 004313 ( Crin/Checkpoint ); précédent : 004312; suivant : 004314Implémentation d'un prouveur de théorèmes inductifs dans le système REVE
Auteurs : A. LazrekSource :
English descriptors
- KwdEn :
Abstract
Le but de ce travail est l'étude et l'implémentation de deux outils. Le premier outil est pour tester la validité (ou non) d'une équation dans l'algèbre initiale d'une spécification. Dans cette spécification on n'interdit pas les relations entre les constructeurs\, ; par contre on suppose que la spécification de base est inductivement complète. Le second outil est pour tester la complétude de définition d'une spécification en permettant des relations entre les constructeurs.
Links toward previous steps (curation, corpus...)
Links to Exploration step
CRIN:lazrek85aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" wicri:score="-225">Implémentation d'un prouveur de théorèmes inductifs dans le système REVE</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:lazrek85a</idno>
<date when="1985" year="1985">1985</date>
<idno type="wicri:Area/Crin/Corpus">000209</idno>
<idno type="wicri:Area/Crin/Curation">000209</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">000209</idno>
<idno type="wicri:Area/Crin/Checkpoint">004313</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">004313</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr">Implémentation d'un prouveur de théorèmes inductifs dans le système REVE</title>
<author><name sortKey="Lazrek, A" sort="Lazrek, A" uniqKey="Lazrek A" first="A." last="Lazrek">A. Lazrek</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>theorem proving</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr" wicri:score="-136">Le but de ce travail est l'étude et l'implémentation de deux outils. Le premier outil est pour tester la validité (ou non) d'une équation dans l'algèbre initiale d'une spécification. Dans cette spécification on n'interdit pas les relations entre les constructeurs\, ; par contre on suppose que la spécification de base est inductivement complète. Le second outil est pour tester la complétude de définition d'une spécification en permettant des relations entre les constructeurs.</div>
</front>
</TEI>
<BibTex type="techreport"><ref>lazrek85a</ref>
<crinnumber>85-R-090</crinnumber>
<category>15</category>
<equipe>INCONNUE</equipe>
<author><e>Lazrek, A.</e>
</author>
<title>Implémentation d'un prouveur de théorèmes inductifs dans le système REVE</title>
<year>1985</year>
<keywords><e>theorem proving</e>
</keywords>
<abstract>Le but de ce travail est l'étude et l'implémentation de deux outils. Le premier outil est pour tester la validité (ou non) d'une équation dans l'algèbre initiale d'une spécification. Dans cette spécification on n'interdit pas les relations entre les constructeurs\, ; par contre on suppose que la spécification de base est inductivement complète. Le second outil est pour tester la complétude de définition d'une spécification en permettant des relations entre les constructeurs.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004313 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd -nk 004313 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Checkpoint |type= RBID |clé= CRIN:lazrek85a |texte= Implémentation d'un prouveur de théorèmes inductifs dans le système REVE }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |