PATCH graphs : An efficient data structure for complementation of finitely presented groups
Identifieur interne :
000D00 ( PascalFrancis/Corpus );
précédent :
000C99;
suivant :
000D01
PATCH graphs : An efficient data structure for complementation of finitely presented groups
Auteurs : C. Lynch ;
P. StrogovaSource :
-
Lecture notes in computer science [ 0302-9743 ] ; 1996.
RBID : Pascal:97-0017995
Descripteurs français
English descriptors
Abstract
Based on a new data structure called PATCH Graph, an efficient completion procedure for finitely presented groups is described. A PATCH Graph represents rules and their symmetrized forms as cycles in a Cayley graph structure. Completion is easily performed directly on the graph, and structure sharing is enforced. The structure of the graph allows us to avoid certain redundant inferences. The PATCH Graph data structure and inference rules complement other extensions of Knuth-Bendix completion for finitely presented groups.
Notice en format standard (ISO 2709)
Pour connaître la documentation sur le format Inist Standard.
pA |
A01 | 01 | 1 | | @0 0302-9743 |
---|
A05 | | | | @2 1138 |
---|
A08 | 01 | 1 | ENG | @1 PATCH graphs : An efficient data structure for complementation of finitely presented groups |
---|
A09 | 01 | 1 | ENG | @1 AISMC-3 : artificial intelligence and symbolic mathematical computation : Steyr, September 23-25, 1996 |
---|
A11 | 01 | 1 | | @1 LYNCH (C.) |
---|
A11 | 02 | 1 | | @1 STROGOVA (P.) |
---|
A12 | 01 | 1 | | @1 CALMET (Jacques) @9 ed. |
---|
A12 | 02 | 1 | | @1 CAMPBELL (John A.) @9 ed. |
---|
A12 | 03 | 1 | | @1 PFALZGRAF (Jochen) @9 ed. |
---|
A14 | 01 | | | @1 INRIA Lorraine -CRIN, Technopôle de Nancy-Brabois, B.P. 101 @2 54602 Villers-lès-Nancy @3 FRA @Z 1 aut. |
---|
A14 | 02 | | | @1 INRIA Lorraine - CRIN and INRIA Rocquencourt, Technopôle de Nancy-Brabois, B.P. 101 @2 54602 Villers-lès-Nancy @3 FRA @Z 2 aut. |
---|
A20 | | | | @1 176-190 |
---|
A21 | | | | @1 1996 |
---|
A23 | 01 | | | @0 ENG |
---|
A43 | 01 | | | @1 INIST @2 16343 @5 354000063989120110 |
---|
A44 | | | | @0 0000 @1 © 1997 INIST-CNRS. All rights reserved. |
---|
A45 | | | | @0 18 ref. |
---|
A47 | 01 | 1 | | @0 97-0017995 |
---|
A60 | | | | @1 P @2 C |
---|
A61 | | | | @0 A |
---|
A64 | 01 | 1 | | @0 Lecture notes in computer science |
---|
A66 | 01 | | | @0 DEU |
---|
A66 | 02 | | | @0 USA |
---|
C01 | 01 | | ENG | @0 Based on a new data structure called PATCH Graph, an efficient completion procedure for finitely presented groups is described. A PATCH Graph represents rules and their symmetrized forms as cycles in a Cayley graph structure. Completion is easily performed directly on the graph, and structure sharing is enforced. The structure of the graph allows us to avoid certain redundant inferences. The PATCH Graph data structure and inference rules complement other extensions of Knuth-Bendix completion for finitely presented groups. |
---|
C02 | 01 | X | | @0 001D02A06 |
---|
C02 | 02 | X | | @0 001D02A02 |
---|
C02 | 03 | X | | @0 001D02C02 |
---|
C03 | 01 | X | FRE | @0 Partage @5 01 |
---|
C03 | 01 | X | ENG | @0 Sharing @5 01 |
---|
C03 | 01 | X | SPA | @0 Partición @5 01 |
---|
C03 | 02 | X | FRE | @0 Cycle graphe @5 02 |
---|
C03 | 02 | X | ENG | @0 Cycle(graph) @5 02 |
---|
C03 | 02 | X | SPA | @0 Ciclo diagrama @5 02 |
---|
C03 | 03 | X | FRE | @0 Graphe Cayley @5 03 |
---|
C03 | 03 | X | ENG | @0 Cayley graph @5 03 |
---|
C03 | 03 | X | SPA | @0 Grafo Cayley @5 03 |
---|
C03 | 04 | X | FRE | @0 Structure donnée @5 04 |
---|
C03 | 04 | X | ENG | @0 Data structure @5 04 |
---|
C03 | 04 | X | SPA | @0 Estructura datos @5 04 |
---|
C03 | 05 | X | FRE | @0 Règle inférence @5 05 |
---|
C03 | 05 | X | ENG | @0 Inference rule @5 05 |
---|
C03 | 05 | X | SPA | @0 Regla inferencia @5 05 |
---|
C03 | 06 | X | FRE | @0 Théorie graphe @5 06 |
---|
C03 | 06 | X | ENG | @0 Graph theory @5 06 |
---|
C03 | 06 | X | SPA | @0 Teoría grafo @5 06 |
---|
C03 | 07 | X | FRE | @0 Sémantique @5 07 |
---|
C03 | 07 | X | ENG | @0 Semantics @5 07 |
---|
C03 | 07 | X | SPA | @0 Semántica @5 07 |
---|
C03 | 08 | X | FRE | @0 Consistance sémantique @5 08 |
---|
C03 | 08 | X | ENG | @0 Soundness @5 08 |
---|
C03 | 08 | X | SPA | @0 Consistencia semantica @5 08 |
---|
N21 | | | | @1 006 |
---|
|
pR |
A30 | 01 | 1 | ENG | @1 Artificial intelligence and symbolic mathematical computation. International conference @2 3 @3 Steyr AUT @4 1996-09-23 |
---|
|
Format Inist (serveur)
NO : | PASCAL 97-0017995 INIST |
ET : | PATCH graphs : An efficient data structure for complementation of finitely presented groups |
AU : | LYNCH (C.); STROGOVA (P.); CALMET (Jacques); CAMPBELL (John A.); PFALZGRAF (Jochen) |
AF : | INRIA Lorraine -CRIN, Technopôle de Nancy-Brabois, B.P. 101/54602 Villers-lès-Nancy/France (1 aut.); INRIA Lorraine - CRIN and INRIA Rocquencourt, Technopôle de Nancy-Brabois, B.P. 101/54602 Villers-lès-Nancy/France (2 aut.) |
DT : | Publication en série; Congrès; Niveau analytique |
SO : | Lecture notes in computer science; ISSN 0302-9743; Allemagne; Da. 1996; Vol. 1138; Pp. 176-190; Bibl. 18 ref. |
LA : | Anglais |
EA : | Based on a new data structure called PATCH Graph, an efficient completion procedure for finitely presented groups is described. A PATCH Graph represents rules and their symmetrized forms as cycles in a Cayley graph structure. Completion is easily performed directly on the graph, and structure sharing is enforced. The structure of the graph allows us to avoid certain redundant inferences. The PATCH Graph data structure and inference rules complement other extensions of Knuth-Bendix completion for finitely presented groups. |
CC : | 001D02A06; 001D02A02; 001D02C02 |
FD : | Partage; Cycle graphe; Graphe Cayley; Structure donnée; Règle inférence; Théorie graphe; Sémantique; Consistance sémantique |
ED : | Sharing; Cycle(graph); Cayley graph; Data structure; Inference rule; Graph theory; Semantics; Soundness |
SD : | Partición; Ciclo diagrama; Grafo Cayley; Estructura datos; Regla inferencia; Teoría grafo; Semántica; Consistencia semantica |
LO : | INIST-16343.354000063989120110 |
ID : | 97-0017995 |
Links to Exploration step
Pascal:97-0017995
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">PATCH graphs : An efficient data structure for complementation of finitely presented groups</title>
<author><name sortKey="Lynch, C" sort="Lynch, C" uniqKey="Lynch C" first="C." last="Lynch">C. Lynch</name>
<affiliation><inist:fA14 i1="01"><s1>INRIA Lorraine -CRIN, Technopôle de Nancy-Brabois, B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Strogova, P" sort="Strogova, P" uniqKey="Strogova P" first="P." last="Strogova">P. Strogova</name>
<affiliation><inist:fA14 i1="02"><s1>INRIA Lorraine - CRIN and INRIA Rocquencourt, Technopôle de Nancy-Brabois, B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">97-0017995</idno>
<date when="1996">1996</date>
<idno type="stanalyst">PASCAL 97-0017995 INIST</idno>
<idno type="RBID">Pascal:97-0017995</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000D00</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">PATCH graphs : An efficient data structure for complementation of finitely presented groups</title>
<author><name sortKey="Lynch, C" sort="Lynch, C" uniqKey="Lynch C" first="C." last="Lynch">C. Lynch</name>
<affiliation><inist:fA14 i1="01"><s1>INRIA Lorraine -CRIN, Technopôle de Nancy-Brabois, B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Strogova, P" sort="Strogova, P" uniqKey="Strogova P" first="P." last="Strogova">P. Strogova</name>
<affiliation><inist:fA14 i1="02"><s1>INRIA Lorraine - CRIN and INRIA Rocquencourt, Technopôle de Nancy-Brabois, B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
<imprint><date when="1996">1996</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Cayley graph</term>
<term>Cycle(graph)</term>
<term>Data structure</term>
<term>Graph theory</term>
<term>Inference rule</term>
<term>Semantics</term>
<term>Sharing</term>
<term>Soundness</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Partage</term>
<term>Cycle graphe</term>
<term>Graphe Cayley</term>
<term>Structure donnée</term>
<term>Règle inférence</term>
<term>Théorie graphe</term>
<term>Sémantique</term>
<term>Consistance sémantique</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Based on a new data structure called PATCH Graph, an efficient completion procedure for finitely presented groups is described. A PATCH Graph represents rules and their symmetrized forms as cycles in a Cayley graph structure. Completion is easily performed directly on the graph, and structure sharing is enforced. The structure of the graph allows us to avoid certain redundant inferences. The PATCH Graph data structure and inference rules complement other extensions of Knuth-Bendix completion for finitely presented groups.</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>0302-9743</s0>
</fA01>
<fA05><s2>1138</s2>
</fA05>
<fA08 i1="01" i2="1" l="ENG"><s1>PATCH graphs : An efficient data structure for complementation of finitely presented groups</s1>
</fA08>
<fA09 i1="01" i2="1" l="ENG"><s1>AISMC-3 : artificial intelligence and symbolic mathematical computation : Steyr, September 23-25, 1996</s1>
</fA09>
<fA11 i1="01" i2="1"><s1>LYNCH (C.)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>STROGOVA (P.)</s1>
</fA11>
<fA12 i1="01" i2="1"><s1>CALMET (Jacques)</s1>
<s9>ed.</s9>
</fA12>
<fA12 i1="02" i2="1"><s1>CAMPBELL (John A.)</s1>
<s9>ed.</s9>
</fA12>
<fA12 i1="03" i2="1"><s1>PFALZGRAF (Jochen)</s1>
<s9>ed.</s9>
</fA12>
<fA14 i1="01"><s1>INRIA Lorraine -CRIN, Technopôle de Nancy-Brabois, B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</fA14>
<fA14 i1="02"><s1>INRIA Lorraine - CRIN and INRIA Rocquencourt, Technopôle de Nancy-Brabois, B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</fA14>
<fA20><s1>176-190</s1>
</fA20>
<fA21><s1>1996</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA43 i1="01"><s1>INIST</s1>
<s2>16343</s2>
<s5>354000063989120110</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 1997 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>18 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>97-0017995</s0>
</fA47>
<fA60><s1>P</s1>
<s2>C</s2>
</fA60>
<fA64 i1="01" i2="1"><s0>Lecture notes in computer science</s0>
</fA64>
<fA66 i1="01"><s0>DEU</s0>
</fA66>
<fA66 i1="02"><s0>USA</s0>
</fA66>
<fC01 i1="01" l="ENG"><s0>Based on a new data structure called PATCH Graph, an efficient completion procedure for finitely presented groups is described. A PATCH Graph represents rules and their symmetrized forms as cycles in a Cayley graph structure. Completion is easily performed directly on the graph, and structure sharing is enforced. The structure of the graph allows us to avoid certain redundant inferences. The PATCH Graph data structure and inference rules complement other extensions of Knuth-Bendix completion for finitely presented groups.</s0>
</fC01>
<fC02 i1="01" i2="X"><s0>001D02A06</s0>
</fC02>
<fC02 i1="02" i2="X"><s0>001D02A02</s0>
</fC02>
<fC02 i1="03" i2="X"><s0>001D02C02</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Partage</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>Sharing</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Partición</s0>
<s5>01</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Cycle graphe</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>Cycle(graph)</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Ciclo diagrama</s0>
<s5>02</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Graphe Cayley</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>Cayley graph</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>Grafo Cayley</s0>
<s5>03</s5>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Structure donnée</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="ENG"><s0>Data structure</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="SPA"><s0>Estructura datos</s0>
<s5>04</s5>
</fC03>
<fC03 i1="05" i2="X" l="FRE"><s0>Règle inférence</s0>
<s5>05</s5>
</fC03>
<fC03 i1="05" i2="X" l="ENG"><s0>Inference rule</s0>
<s5>05</s5>
</fC03>
<fC03 i1="05" i2="X" l="SPA"><s0>Regla inferencia</s0>
<s5>05</s5>
</fC03>
<fC03 i1="06" i2="X" l="FRE"><s0>Théorie graphe</s0>
<s5>06</s5>
</fC03>
<fC03 i1="06" i2="X" l="ENG"><s0>Graph theory</s0>
<s5>06</s5>
</fC03>
<fC03 i1="06" i2="X" l="SPA"><s0>Teoría grafo</s0>
<s5>06</s5>
</fC03>
<fC03 i1="07" i2="X" l="FRE"><s0>Sémantique</s0>
<s5>07</s5>
</fC03>
<fC03 i1="07" i2="X" l="ENG"><s0>Semantics</s0>
<s5>07</s5>
</fC03>
<fC03 i1="07" i2="X" l="SPA"><s0>Semántica</s0>
<s5>07</s5>
</fC03>
<fC03 i1="08" i2="X" l="FRE"><s0>Consistance sémantique</s0>
<s5>08</s5>
</fC03>
<fC03 i1="08" i2="X" l="ENG"><s0>Soundness</s0>
<s5>08</s5>
</fC03>
<fC03 i1="08" i2="X" l="SPA"><s0>Consistencia semantica</s0>
<s5>08</s5>
</fC03>
<fN21><s1>006</s1>
</fN21>
</pA>
<pR><fA30 i1="01" i2="1" l="ENG"><s1>Artificial intelligence and symbolic mathematical computation. International conference</s1>
<s2>3</s2>
<s3>Steyr AUT</s3>
<s4>1996-09-23</s4>
</fA30>
</pR>
</standard>
<server><NO>PASCAL 97-0017995 INIST</NO>
<ET>PATCH graphs : An efficient data structure for complementation of finitely presented groups</ET>
<AU>LYNCH (C.); STROGOVA (P.); CALMET (Jacques); CAMPBELL (John A.); PFALZGRAF (Jochen)</AU>
<AF>INRIA Lorraine -CRIN, Technopôle de Nancy-Brabois, B.P. 101/54602 Villers-lès-Nancy/France (1 aut.); INRIA Lorraine - CRIN and INRIA Rocquencourt, Technopôle de Nancy-Brabois, B.P. 101/54602 Villers-lès-Nancy/France (2 aut.)</AF>
<DT>Publication en série; Congrès; Niveau analytique</DT>
<SO>Lecture notes in computer science; ISSN 0302-9743; Allemagne; Da. 1996; Vol. 1138; Pp. 176-190; Bibl. 18 ref.</SO>
<LA>Anglais</LA>
<EA>Based on a new data structure called PATCH Graph, an efficient completion procedure for finitely presented groups is described. A PATCH Graph represents rules and their symmetrized forms as cycles in a Cayley graph structure. Completion is easily performed directly on the graph, and structure sharing is enforced. The structure of the graph allows us to avoid certain redundant inferences. The PATCH Graph data structure and inference rules complement other extensions of Knuth-Bendix completion for finitely presented groups.</EA>
<CC>001D02A06; 001D02A02; 001D02C02</CC>
<FD>Partage; Cycle graphe; Graphe Cayley; Structure donnée; Règle inférence; Théorie graphe; Sémantique; Consistance sémantique</FD>
<ED>Sharing; Cycle(graph); Cayley graph; Data structure; Inference rule; Graph theory; Semantics; Soundness</ED>
<SD>Partición; Ciclo diagrama; Grafo Cayley; Estructura datos; Regla inferencia; Teoría grafo; Semántica; Consistencia semantica</SD>
<LO>INIST-16343.354000063989120110</LO>
<ID>97-0017995</ID>
</server>
</inist>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000D00 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000D00 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= PascalFrancis
|étape= Corpus
|type= RBID
|clé= Pascal:97-0017995
|texte= PATCH graphs : An efficient data structure for complementation of finitely presented groups
}}
| 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 | |