InforLorV4, PascalFrancis, Corpus, bibRecord, 000E13

Rewriting systems on FP expressions to reduce the number of sequences yielded

Identifieur interne : 000E13 ( PascalFrancis/Corpus ); précédent : 000E12; suivant : 000E14

Rewriting systems on FP expressions to reduce the number of sequences yielded

Auteurs : F. Bellegarde ; M. Sintzoff

Source :

Science of computer programming [ 508896 ] ; 1986.

RBID : Pascal:86-0392301

Descripteurs français

Pascal (Inist)
- Programme itératif, Réécriture, Théorie langage, Expression FP, Procédure Knuth-Bendix, Programme fonctionnel.

English descriptors

KwdEn :
- Iterative program, Language theory, Rewriting.

Abstract

Règles de transformation basées sur l'algèbre des programmes fonctionnels

Notice en format standard (ISO 2709)

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

A01	`01`	`2`		`@0 508896`
A03		`1`		`@0 Sci. comput. program.`
A05				`@2 6`
A06				`@2 1`
A08	`01`	`1`	`ENG`	`@1 Rewriting systems on FP expressions to reduce the number of sequences yielded`
A11	`01`	`1`		`@1 BELLEGARDE (F.)`
A11	`02`	`1`		`@1 SINTZOFF (M.)`
A14	`01`			`@1 CRIN`
A20				`@1 11-34`
A21				`@1 1986`
A23	`01`			`@0 ENG`
A43	`01`			`@1 CNRS`
A44				`@0 0000`
A45				`@0 24 ref.`
A47	`01`	`1`		`@0 86-0392301`
A60				`@1 P`
A61				`@0 A`
A64		`1`		`@0 Science of computer programming`
A66	`01`			`@0 NLD`
C01	`01`		`FRE`	`@0 Règles de transformation basées sur l'algèbre des programmes fonctionnels`
C02	`01`	`2`		`@0 001D02A02`
C03	`01`	`2`	`FRE`	`@0 Programme itératif`
C03	`02`	`2`	`FRE`	`@0 Réécriture`
C03	`03`	`2`	`FRE`	`@0 Théorie langage`
C03	`04`	`2`	`FRE`	`@0 Expression FP`
C03	`05`	`2`	`FRE`	`@0 Procédure Knuth-Bendix`
C03	`06`	`2`	`FRE`	`@0 Programme fonctionnel`
C03	`01`	`2`	`ENG`	`@0 Iterative program`
C03	`02`	`2`	`ENG`	`@0 Rewriting`
C03	`03`	`2`	`ENG`	`@0 Language theory`
C04	`01`	`2`		`@0 PM03!02,56`
N21				`@1 602`

Format Inist (serveur)

NO :	PASCAL 86-0392301 INIST
ET :	Rewriting systems on FP expressions to reduce the number of sequences yielded
AU :	BELLEGARDE (F.); SINTZOFF (M.)
AF :	CRIN
DT :	Publication en série; Niveau analytique
SO :	Science of computer programming; ISSN 508896; Pays-Bas; Da. 1986; Vol. 6; No. 1; Pp. 11-34; Bibl. 24 ref.
LA :	Anglais
FA :	Règles de transformation basées sur l'algèbre des programmes fonctionnels
CC :	001D02A02
FD :	Programme itératif; Réécriture; Théorie langage; Expression FP; Procédure Knuth-Bendix; Programme fonctionnel
ED :	Iterative program; Rewriting; Language theory
LO :	CNRS
ID :	86-0392301

Links to Exploration step

Pascal:86-0392301

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">Rewriting systems on FP expressions to reduce the number of sequences yielded</title>
<author><name sortKey="Bellegarde, F" sort="Bellegarde, F" uniqKey="Bellegarde F" first="F." last="Bellegarde">F. Bellegarde</name>
<affiliation><inist:fA14 i1="01"><s1>CRIN</s1>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Sintzoff, M" sort="Sintzoff, M" uniqKey="Sintzoff M" first="M." last="Sintzoff">M. Sintzoff</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">86-0392301</idno>
<date when="1986">1986</date>
<idno type="stanalyst">PASCAL 86-0392301 INIST</idno>
<idno type="RBID">Pascal:86-0392301</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000E13</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">Rewriting systems on FP expressions to reduce the number of sequences yielded</title>
<author><name sortKey="Bellegarde, F" sort="Bellegarde, F" uniqKey="Bellegarde F" first="F." last="Bellegarde">F. Bellegarde</name>
<affiliation><inist:fA14 i1="01"><s1>CRIN</s1>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Sintzoff, M" sort="Sintzoff, M" uniqKey="Sintzoff M" first="M." last="Sintzoff">M. Sintzoff</name>
</author>
</analytic>
<series><title level="j" type="main">Science of computer programming</title>
<title level="j" type="abbreviated">Sci. comput. program.</title>
<idno type="ISSN">508896</idno>
<imprint><date when="1986">1986</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Science of computer programming</title>
<title level="j" type="abbreviated">Sci. comput. program.</title>
<idno type="ISSN">508896</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Iterative program</term>
<term>Language theory</term>
<term>Rewriting</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Programme itératif</term>
<term>Réécriture</term>
<term>Théorie langage</term>
<term>Expression FP</term>
<term>Procédure Knuth-Bendix</term>
<term>Programme fonctionnel</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">Règles de transformation basées sur l'algèbre des programmes fonctionnels</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA01 i1="01" i2="2"><s0>508896</s0>
</fA01>
<fA03 i2="1"><s0>Sci. comput. program.</s0>
</fA03>
<fA05><s2>6</s2>
</fA05>
<fA06><s2>1</s2>
</fA06>
<fA08 i1="01" i2="1" l="ENG"><s1>Rewriting systems on FP expressions to reduce the number of sequences yielded</s1>
</fA08>
<fA11 i1="01" i2="1"><s1>BELLEGARDE (F.)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>SINTZOFF (M.)</s1>
</fA11>
<fA14 i1="01"><s1>CRIN</s1>
</fA14>
<fA20><s1>11-34</s1>
</fA20>
<fA21><s1>1986</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA43 i1="01"><s1>CNRS</s1>
</fA43>
<fA44><s0>0000</s0>
</fA44>
<fA45><s0>24 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>86-0392301</s0>
</fA47>
<fA60><s1>P</s1>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA64 i2="1"><s0>Science of computer programming</s0>
</fA64>
<fA66 i1="01"><s0>NLD</s0>
</fA66>
<fC01 i1="01" l="FRE"><s0>Règles de transformation basées sur l'algèbre des programmes fonctionnels</s0>
</fC01>
<fC02 i1="01" i2="2"><s0>001D02A02</s0>
</fC02>
<fC03 i1="01" i2="2" l="FRE"><s0>Programme itératif</s0>
</fC03>
<fC03 i1="02" i2="2" l="FRE"><s0>Réécriture</s0>
</fC03>
<fC03 i1="03" i2="2" l="FRE"><s0>Théorie langage</s0>
</fC03>
<fC03 i1="04" i2="2" l="FRE"><s0>Expression FP</s0>
</fC03>
<fC03 i1="05" i2="2" l="FRE"><s0>Procédure Knuth-Bendix</s0>
</fC03>
<fC03 i1="06" i2="2" l="FRE"><s0>Programme fonctionnel</s0>
</fC03>
<fC03 i1="01" i2="2" l="ENG"><s0>Iterative program</s0>
</fC03>
<fC03 i1="02" i2="2" l="ENG"><s0>Rewriting</s0>
</fC03>
<fC03 i1="03" i2="2" l="ENG"><s0>Language theory</s0>
</fC03>
<fC04 i1="01" i2="2"><s0>PM03!02,56</s0>
</fC04>
<fN21><s1>602</s1>
</fN21>
</pA>
</standard>
<server><NO>PASCAL 86-0392301 INIST</NO>
<ET>Rewriting systems on FP expressions to reduce the number of sequences yielded</ET>
<AU>BELLEGARDE (F.); SINTZOFF (M.)</AU>
<AF>CRIN</AF>
<DT>Publication en série; Niveau analytique</DT>
<SO>Science of computer programming; ISSN 508896; Pays-Bas; Da. 1986; Vol. 6; No. 1; Pp. 11-34; Bibl. 24 ref.</SO>
<LA>Anglais</LA>
<FA>Règles de transformation basées sur l'algèbre des programmes fonctionnels</FA>
<CC>001D02A02</CC>
<FD>Programme itératif; Réécriture; Théorie langage; Expression FP; Procédure Knuth-Bendix; Programme fonctionnel</FD>
<ED>Iterative program; Rewriting; Language theory</ED>
<LO>CNRS</LO>
<ID>86-0392301</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 000E13 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000E13 | 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:86-0392301
   |texte=   Rewriting systems on FP expressions to reduce the number of sequences yielded
}}

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

Rewriting systems on FP expressions to reduce the number of sequences yielded

Rewriting systems on FP expressions to reduce the number of sequences yielded

Source :

Descripteurs français

English descriptors

Abstract

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