Curation
Crin
Racine
Curation
Checkpoint
Crin
Racine
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Proving Identities in Commutative Semigroups and Monoids : An Automaton Approach

Identifieur interne : 000C40 ( Crin/Curation ); précédent : 000C39; suivant : 000C41

Proving Identities in Commutative Semigroups and Monoids : An Automaton Approach

Auteurs : P. Lescanne

Source :

RBID : CRIN:lescanne91d

English descriptors

Links toward previous steps (curation, corpus...)

Links to Exploration step

CRIN:lescanne91d

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en" wicri:score="494">Proving Identities in Commutative Semigroups and Monoids : An Automaton Approach</title>
</titleStmt>
<publicationStmt>
<idno type="RBID">CRIN:lescanne91d</idno>
<date when="1991" year="1991">1991</date>
<idno type="wicri:Area/Crin/Corpus">000C40</idno>
<idno type="wicri:Area/Crin/Curation">000C40</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">000C40</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="en">Proving Identities in Commutative Semigroups and Monoids : An Automaton Approach</title>
<author>
<name sortKey="Lescanne, P" sort="Lescanne, P" uniqKey="Lescanne P" first="P." last="Lescanne">P. Lescanne</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="KwdEn" xml:lang="en">
<term>automates finis</term>
<term>problème du mot</term>
<term>égalités</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
</TEI>
<BibTex type="techreport">
<ref>lescanne91d</ref>
<crinnumber>91-R-178</crinnumber>
<category>15</category>
<equipe>EURECA</equipe>
<author>
<e>Lescanne, P.</e>
</author>
<title>Proving Identities in Commutative Semigroups and Monoids : An Automaton Approach</title>
<institution>Centre de Recherche en Informatique de Nancy</institution>
<year>1991</year>
<type>Rapport interne</type>
<address>Vandoeuvre-lès-Nancy</address>
<keywords>
<e>problème du mot</e>
<e>égalités</e>
<e>automates finis</e>
</keywords>
</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 000C40 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd -nk 000C40 | 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:lescanne91d
   |texte=   Proving Identities in Commutative Semigroups and Monoids : An Automaton Approach
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022