InforLorV4, PascalFrancis, Corpus, bibRecord, 000D25

SPIKE-AC : A system for proofs by induction in associative-commutative theories

Identifieur interne : 000D25 ( PascalFrancis/Corpus ); précédent : 000D24; suivant : 000D26

SPIKE-AC : A system for proofs by induction in associative-commutative theories

Auteurs : N. Berregeb ; A. Bouhoula ; M. Rusinowitch

Source :

Lecture notes in computer science [ 0302-9743 ] ; 1996.

RBID : Pascal:96-0480335

Descripteurs français

Pascal (Inist)
- Preuve programme, Théorie preuve, Multiplicateur.

English descriptors

KwdEn :
- Multiplier, Program proof, Proof theory.

Notice en format standard (ISO 2709)

Pour connaître la documentation sur le format Inist Standard.

A01	`01`	`1`		`@0 0302-9743`
A05				`@2 1103`
A08	`01`	`1`	`ENG`	`@1 SPIKE-AC : A system for proofs by induction in associative-commutative theories`
A09	`01`	`1`	`ENG`	`@1 RTA-96 : rewriting techniques and applications : New Brunswick NJ, July 27-30, 1996`
A11	`01`	`1`		`@1 BERREGEB (N.)`
A11	`02`	`1`		`@1 BOUHOULA (A.)`
A11	`03`	`1`		`@1 RUSINOWITCH (M.)`
A12	`01`	`1`		`@1 GANZINGER (Harald) @9 ed.`
A14	`01`			`@1 INRIA Lorraine & CRIN, Campus Scientifique, 615, rue du Jardin Botanique - B.P. 101 @2 54602 Villers-lès-Nancy @3 FRA @Z 1 aut. @Z 2 aut. @Z 3 aut.`
A20				`@1 428-431`
A21				`@1 1996`
A23	`01`			`@0 ENG`
A43	`01`			`@1 INIST @2 16343 @5 354000060633830350`
A44				`@0 0000 @1 © 1996 INIST-CNRS. All rights reserved.`
A45				`@0 13 ref.`
A47	`01`	`1`		`@0 96-0480335`
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`
C02	`01`	`X`		`@0 001D02A07`
C02	`02`	`X`		`@0 001D02A05`
C03	`01`	`X`	`FRE`	`@0 Preuve programme @5 01`
C03	`01`	`X`	`ENG`	`@0 Program proof @5 01`
C03	`01`	`X`	`SPA`	`@0 Prueba programa @5 01`
C03	`02`	`X`	`FRE`	`@0 Théorie preuve @5 02`
C03	`02`	`X`	`ENG`	`@0 Proof theory @5 02`
C03	`02`	`X`	`SPA`	`@0 Teoría demonstración @5 02`
C03	`03`	`X`	`FRE`	`@0 Multiplicateur @5 03`
C03	`03`	`X`	`ENG`	`@0 Multiplier @5 03`
C03	`03`	`X`	`SPA`	`@0 Multiplicador @5 03`
N21				`@1 330`

A30	`01`	`1`	`ENG`	`@1 Rewriting techniques and applications. International conference @2 7 @3 New Brunswick NJ USA @4 1996-07-27`

Format Inist (serveur)

NO :	PASCAL 96-0480335 INIST
ET :	SPIKE-AC : A system for proofs by induction in associative-commutative theories
AU :	BERREGEB (N.); BOUHOULA (A.); RUSINOWITCH (M.); GANZINGER (Harald)
AF :	INRIA Lorraine & CRIN, Campus Scientifique, 615, rue du Jardin Botanique - B.P. 101/54602 Villers-lès-Nancy/France (1 aut., 2 aut., 3 aut.)
DT :	Publication en série; Congrès; Niveau analytique
SO :	Lecture notes in computer science; ISSN 0302-9743; Allemagne; Da. 1996; Vol. 1103; Pp. 428-431; Bibl. 13 ref.
LA :	Anglais
CC :	001D02A07; 001D02A05
FD :	Preuve programme; Théorie preuve; Multiplicateur
ED :	Program proof; Proof theory; Multiplier
SD :	Prueba programa; Teoría demonstración; Multiplicador
LO :	INIST-16343.354000060633830350
ID :	96-0480335

Links to Exploration step

Pascal:96-0480335

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">SPIKE-AC : A system for proofs by induction in associative-commutative theories</title>
<author><name sortKey="Berregeb, N" sort="Berregeb, N" uniqKey="Berregeb N" first="N." last="Berregeb">N. Berregeb</name>
<affiliation><inist:fA14 i1="01"><s1>INRIA Lorraine & CRIN, Campus Scientifique, 615, rue du Jardin Botanique - B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Bouhoula, A" sort="Bouhoula, A" uniqKey="Bouhoula A" first="A." last="Bouhoula">A. Bouhoula</name>
<affiliation><inist:fA14 i1="01"><s1>INRIA Lorraine & CRIN, Campus Scientifique, 615, rue du Jardin Botanique - B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Rusinowitch, M" sort="Rusinowitch, M" uniqKey="Rusinowitch M" first="M." last="Rusinowitch">M. Rusinowitch</name>
<affiliation><inist:fA14 i1="01"><s1>INRIA Lorraine & CRIN, Campus Scientifique, 615, rue du Jardin Botanique - B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">96-0480335</idno>
<date when="1996">1996</date>
<idno type="stanalyst">PASCAL 96-0480335 INIST</idno>
<idno type="RBID">Pascal:96-0480335</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000D25</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">SPIKE-AC : A system for proofs by induction in associative-commutative theories</title>
<author><name sortKey="Berregeb, N" sort="Berregeb, N" uniqKey="Berregeb N" first="N." last="Berregeb">N. Berregeb</name>
<affiliation><inist:fA14 i1="01"><s1>INRIA Lorraine & CRIN, Campus Scientifique, 615, rue du Jardin Botanique - B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Bouhoula, A" sort="Bouhoula, A" uniqKey="Bouhoula A" first="A." last="Bouhoula">A. Bouhoula</name>
<affiliation><inist:fA14 i1="01"><s1>INRIA Lorraine & CRIN, Campus Scientifique, 615, rue du Jardin Botanique - B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Rusinowitch, M" sort="Rusinowitch, M" uniqKey="Rusinowitch M" first="M." last="Rusinowitch">M. Rusinowitch</name>
<affiliation><inist:fA14 i1="01"><s1>INRIA Lorraine & CRIN, Campus Scientifique, 615, rue du Jardin Botanique - B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 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>Multiplier</term>
<term>Program proof</term>
<term>Proof theory</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Preuve programme</term>
<term>Théorie preuve</term>
<term>Multiplicateur</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
</TEI>
<inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>0302-9743</s0>
</fA01>
<fA05><s2>1103</s2>
</fA05>
<fA08 i1="01" i2="1" l="ENG"><s1>SPIKE-AC : A system for proofs by induction in associative-commutative theories</s1>
</fA08>
<fA09 i1="01" i2="1" l="ENG"><s1>RTA-96 : rewriting techniques and applications : New Brunswick NJ, July 27-30, 1996</s1>
</fA09>
<fA11 i1="01" i2="1"><s1>BERREGEB (N.)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>BOUHOULA (A.)</s1>
</fA11>
<fA11 i1="03" i2="1"><s1>RUSINOWITCH (M.)</s1>
</fA11>
<fA12 i1="01" i2="1"><s1>GANZINGER (Harald)</s1>
<s9>ed.</s9>
</fA12>
<fA14 i1="01"><s1>INRIA Lorraine & CRIN, Campus Scientifique, 615, rue du Jardin Botanique - B.P. 101</s1>
<s2>54602 Villers-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</fA14>
<fA20><s1>428-431</s1>
</fA20>
<fA21><s1>1996</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA43 i1="01"><s1>INIST</s1>
<s2>16343</s2>
<s5>354000060633830350</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 1996 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>13 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>96-0480335</s0>
</fA47>
<fA60><s1>P</s1>
<s2>C</s2>
</fA60>
<fA61><s0>A</s0>
</fA61>
<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>
<fC02 i1="01" i2="X"><s0>001D02A07</s0>
</fC02>
<fC02 i1="02" i2="X"><s0>001D02A05</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Preuve programme</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>Program proof</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Prueba programa</s0>
<s5>01</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Théorie preuve</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>Proof theory</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Teoría demonstración</s0>
<s5>02</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Multiplicateur</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>Multiplier</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>Multiplicador</s0>
<s5>03</s5>
</fC03>
<fN21><s1>330</s1>
</fN21>
</pA>
<pR><fA30 i1="01" i2="1" l="ENG"><s1>Rewriting techniques and applications. International conference</s1>
<s2>7</s2>
<s3>New Brunswick NJ USA</s3>
<s4>1996-07-27</s4>
</fA30>
</pR>
</standard>
<server><NO>PASCAL 96-0480335 INIST</NO>
<ET>SPIKE-AC : A system for proofs by induction in associative-commutative theories</ET>
<AU>BERREGEB (N.); BOUHOULA (A.); RUSINOWITCH (M.); GANZINGER (Harald)</AU>
<AF>INRIA Lorraine & CRIN, Campus Scientifique, 615, rue du Jardin Botanique - B.P. 101/54602 Villers-lès-Nancy/France (1 aut., 2 aut., 3 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. 1103; Pp. 428-431; Bibl. 13 ref.</SO>
<LA>Anglais</LA>
<CC>001D02A07; 001D02A05</CC>
<FD>Preuve programme; Théorie preuve; Multiplicateur</FD>
<ED>Program proof; Proof theory; Multiplier</ED>
<SD>Prueba programa; Teoría demonstración; Multiplicador</SD>
<LO>INIST-16343.354000060633830350</LO>
<ID>96-0480335</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 000D25 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000D25 | 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:96-0480335
   |texte=   SPIKE-AC : A system for proofs by induction in associative-commutative theories
}}

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

	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.

Serveur d'exploration sur la recherche en informatique en Lorraine

SPIKE-AC : A system for proofs by induction in associative-commutative theories

SPIKE-AC : A system for proofs by induction in associative-commutative theories

Source :

Descripteurs français

English descriptors

Notice en format standard (ISO 2709)

Format Inist (serveur)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri