Proceedings of the 19th International Workshop on Unification
Identifieur interne : 004035 ( Crin/Curation ); précédent : 004034; suivant : 004036Proceedings of the 19th International Workshop on Unification
Auteurs : Laurent VigneronSource :
English descriptors
- KwdEn :
Abstract
UNIF is the main international meeting on unification. Unification is concerned with the problem of identifying given terms, either syntactically or modulo a given logical theory. Syntactic unification is the basic operation of most automated reasoning systems, and unification modulo theories can be used, for instance, to build in special equational theories into theorem provers.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: Pour aller vers cette notice dans l'étape Curation :004035
Links to Exploration step
CRIN:vigneron05aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="545">Proceedings of the 19th International Workshop on Unification</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:vigneron05a</idno>
<date when="2005" year="2005">2005</date>
<idno type="wicri:Area/Crin/Corpus">004035</idno>
<idno type="wicri:Area/Crin/Curation">004035</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">004035</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Proceedings of the 19th International Workshop on Unification</title>
<author><name sortKey="Vigneron, Laurent" sort="Vigneron, Laurent" uniqKey="Vigneron L" first="Laurent" last="Vigneron">Laurent Vigneron</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>unification</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="2552">UNIF is the main international meeting on unification. Unification is concerned with the problem of identifying given terms, either syntactically or modulo a given logical theory. Syntactic unification is the basic operation of most automated reasoning systems, and unification modulo theories can be used, for instance, to build in special equational theories into theorem provers.</div>
</front>
</TEI>
<BibTex type="book"><ref>vigneron05a</ref>
<crinnumber>A05-R-022</crinnumber>
<category>12</category>
<equipe>CASSIS</equipe>
<author><e>Vigneron, Laurent</e>
</author>
<title>Proceedings of the 19th International Workshop on Unification</title>
<year>2005</year>
<month>Apr</month>
<note>Proceedings of the 19th international workshop on Unification, held during RDP'2005 in Nara, Japan, on April 22, 2005</note>
<url>http://www.loria.fr/publications/2005/A05-R-022/A05-R-022.ps</url>
<keywords><e>unification</e>
</keywords>
<abstract>UNIF is the main international meeting on unification. Unification is concerned with the problem of identifying given terms, either syntactically or modulo a given logical theory. Syntactic unification is the basic operation of most automated reasoning systems, and unification modulo theories can be used, for instance, to build in special equational theories into theorem provers.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004035 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd -nk 004035 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Curation |type= RBID |clé= CRIN:vigneron05a |texte= Proceedings of the 19th International Workshop on Unification }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |