Proceedings {UNIF 88}
Identifieur interne : 003F17 ( Crin/Checkpoint ); précédent : 003F16; suivant : 003F18Proceedings {UNIF 88}
Auteurs :Source :
English descriptors
- KwdEn :
Abstract
Unification or equation solving is a field of computer science and symbolic computation that knowns these last few years a huge development and a surge of interest. Both are related to the better understanding of the formal foundations of computer science and in particular to the increasing interest in programming languages based on formal logical concepts. In that context there was a great interest to continue, by a second workshop, to share the current knowledge in the field. It has been a success, allowing sixty international participants to have three days of exchange on unification. This report regroups the list of participants, the program and the abstracts of the talks given during the workshop.
Links toward previous steps (curation, corpus...)
Links to Exploration step
CRIN:proceedings89aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="39">Proceedings {UNIF 88}</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:proceedings89a</idno>
<date when="1988" year="1988">1988</date>
<idno type="wicri:Area/Crin/Corpus">000714</idno>
<idno type="wicri:Area/Crin/Curation">000714</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">000714</idno>
<idno type="wicri:Area/Crin/Checkpoint">003F17</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">003F17</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Proceedings {UNIF 88}</title>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>equational logic</term>
<term>matching</term>
<term>narrowing</term>
<term>rewriting</term>
<term>unification</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="2787">Unification or equation solving is a field of computer science and symbolic computation that knowns these last few years a huge development and a surge of interest. Both are related to the better understanding of the formal foundations of computer science and in particular to the increasing interest in programming languages based on formal logical concepts. In that context there was a great interest to continue, by a second workshop, to share the current knowledge in the field. It has been a success, allowing sixty international participants to have three days of exchange on unification. This report regroups the list of participants, the program and the abstracts of the talks given during the workshop.</div>
</front>
</TEI>
<BibTex type="proceedings"><ref>proceedings89a</ref>
<crinnumber>89-r-038</crinnumber>
<equipe>EURECA</equipe>
<title>Proceedings {UNIF 88}</title>
<year>1988</year>
<editor>C. Kirchner and G. Smolka</editor>
<address>Val d'Ajol</address>
<month>jun</month>
<keywords><e>unification</e>
<e>rewriting</e>
<e>equational logic</e>
<e>narrowing</e>
<e>matching</e>
</keywords>
<abstract>Unification or equation solving is a field of computer science and symbolic computation that knowns these last few years a huge development and a surge of interest. Both are related to the better understanding of the formal foundations of computer science and in particular to the increasing interest in programming languages based on formal logical concepts. In that context there was a great interest to continue, by a second workshop, to share the current knowledge in the field. It has been a success, allowing sixty international participants to have three days of exchange on unification. This report regroups the list of participants, the program and the abstracts of the talks given during the workshop.</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 003F17 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd -nk 003F17 | 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:proceedings89a |texte= Proceedings {UNIF 88} }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |