A quick construction of a retraction of all retractions for stable bifinites
Identifieur interne : 000D65 ( PascalFrancis/Corpus ); précédent : 000D64; suivant : 000D66A quick construction of a retraction of all retractions for stable bifinites
Auteurs : R. M. AmadioSource :
- Information and computation [ 0890-5401 ] ; 1995.
Descripteurs français
- Pascal (Inist)
English descriptors
- KwdEn :
Abstract
In the framework of stable domain theory we show that the space of retractions over a bifinite is a retract of the functional space
Notice en format standard (ISO 2709)
Pour connaître la documentation sur le format Inist Standard.
pA |
|
---|
Format Inist (serveur)
NO : | PASCAL 95-0149743 INIST |
---|---|
ET : | A quick construction of a retraction of all retractions for stable bifinites |
AU : | AMADIO (R. M.) |
AF : | CNRS-CRIN INRIA-Lorraine/Nancy/France |
DT : | Publication en série; Niveau analytique |
SO : | Information and computation; ISSN 0890-5401; Coden INFCEC; Etats-Unis; Da. 1995; Vol. 116; No. 2; Pp. 272-274; Bibl. 9 ref. |
LA : | Anglais |
EA : | In the framework of stable domain theory we show that the space of retractions over a bifinite is a retract of the functional space |
CC : | 001D02A05 |
FD : | Rétraction; Polymorphisme; Relation ordre partiel; Intervalle; Point fixe; Algebraic cpo |
ED : | Retraction; Polymorphism; Partial ordering; Interval; Fix point |
SD : | Retracción; Polimorfismo; Relación orden parcial; Intervalo; Punto fijo |
LO : | INIST-8341.354000059613300090 |
ID : | 95-0149743 |
Links to Exploration step
Pascal:95-0149743Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">A quick construction of a retraction of all retractions for stable bifinites</title>
<author><name sortKey="Amadio, R M" sort="Amadio, R M" uniqKey="Amadio R" first="R. M." last="Amadio">R. M. Amadio</name>
<affiliation><inist:fA14 i1="01"><s1>CNRS-CRIN INRIA-Lorraine</s1>
<s2>Nancy</s2>
<s3>FRA</s3>
</inist:fA14>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">95-0149743</idno>
<date when="1995">1995</date>
<idno type="stanalyst">PASCAL 95-0149743 INIST</idno>
<idno type="RBID">Pascal:95-0149743</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000D65</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">A quick construction of a retraction of all retractions for stable bifinites</title>
<author><name sortKey="Amadio, R M" sort="Amadio, R M" uniqKey="Amadio R" first="R. M." last="Amadio">R. M. Amadio</name>
<affiliation><inist:fA14 i1="01"><s1>CNRS-CRIN INRIA-Lorraine</s1>
<s2>Nancy</s2>
<s3>FRA</s3>
</inist:fA14>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">Information and computation</title>
<title level="j" type="abbreviated">Inf. comput.</title>
<idno type="ISSN">0890-5401</idno>
<imprint><date when="1995">1995</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Information and computation</title>
<title level="j" type="abbreviated">Inf. comput.</title>
<idno type="ISSN">0890-5401</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Fix point</term>
<term>Interval</term>
<term>Partial ordering</term>
<term>Polymorphism</term>
<term>Retraction</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Rétraction</term>
<term>Polymorphisme</term>
<term>Relation ordre partiel</term>
<term>Intervalle</term>
<term>Point fixe</term>
<term>Algebraic cpo</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">In the framework of stable domain theory we show that the space of retractions over a bifinite is a retract of the functional space</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>0890-5401</s0>
</fA01>
<fA02 i1="01"><s0>INFCEC</s0>
</fA02>
<fA03 i2="1"><s0>Inf. comput.</s0>
</fA03>
<fA05><s2>116</s2>
</fA05>
<fA06><s2>2</s2>
</fA06>
<fA08 i1="01" i2="1" l="ENG"><s1>A quick construction of a retraction of all retractions for stable bifinites</s1>
</fA08>
<fA11 i1="01" i2="1"><s1>AMADIO (R. M.)</s1>
</fA11>
<fA14 i1="01"><s1>CNRS-CRIN INRIA-Lorraine</s1>
<s2>Nancy</s2>
<s3>FRA</s3>
</fA14>
<fA20><s1>272-274</s1>
</fA20>
<fA21><s1>1995</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA43 i1="01"><s1>INIST</s1>
<s2>8341</s2>
<s5>354000059613300090</s5>
</fA43>
<fA44><s0>0000</s0>
</fA44>
<fA45><s0>9 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>95-0149743</s0>
</fA47>
<fA60><s1>P</s1>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA64 i1="01" i2="1"><s0>Information and computation</s0>
</fA64>
<fA66 i1="01"><s0>USA</s0>
</fA66>
<fC01 i1="01" l="ENG"><s0>In the framework of stable domain theory we show that the space of retractions over a bifinite is a retract of the functional space</s0>
</fC01>
<fC02 i1="01" i2="X"><s0>001D02A05</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Rétraction</s0>
<s5>67</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>Retraction</s0>
<s5>67</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Retracción</s0>
<s5>67</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Polymorphisme</s0>
<s5>68</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>Polymorphism</s0>
<s5>68</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Polimorfismo</s0>
<s5>68</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Relation ordre partiel</s0>
<s5>69</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>Partial ordering</s0>
<s5>69</s5>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>Relación orden parcial</s0>
<s5>69</s5>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Intervalle</s0>
<s5>70</s5>
</fC03>
<fC03 i1="04" i2="X" l="ENG"><s0>Interval</s0>
<s5>70</s5>
</fC03>
<fC03 i1="04" i2="X" l="SPA"><s0>Intervalo</s0>
<s5>70</s5>
</fC03>
<fC03 i1="05" i2="X" l="FRE"><s0>Point fixe</s0>
<s5>71</s5>
</fC03>
<fC03 i1="05" i2="X" l="ENG"><s0>Fix point</s0>
<s5>71</s5>
</fC03>
<fC03 i1="05" i2="X" l="SPA"><s0>Punto fijo</s0>
<s5>71</s5>
</fC03>
<fC03 i1="06" i2="X" l="FRE"><s0>Algebraic cpo</s0>
<s4>INC</s4>
<s5>90</s5>
</fC03>
<fN21><s1>088</s1>
</fN21>
</pA>
</standard>
<server><NO>PASCAL 95-0149743 INIST</NO>
<ET>A quick construction of a retraction of all retractions for stable bifinites</ET>
<AU>AMADIO (R. M.)</AU>
<AF>CNRS-CRIN INRIA-Lorraine/Nancy/France</AF>
<DT>Publication en série; Niveau analytique</DT>
<SO>Information and computation; ISSN 0890-5401; Coden INFCEC; Etats-Unis; Da. 1995; Vol. 116; No. 2; Pp. 272-274; Bibl. 9 ref.</SO>
<LA>Anglais</LA>
<EA>In the framework of stable domain theory we show that the space of retractions over a bifinite is a retract of the functional space</EA>
<CC>001D02A05</CC>
<FD>Rétraction; Polymorphisme; Relation ordre partiel; Intervalle; Point fixe; Algebraic cpo</FD>
<ED>Retraction; Polymorphism; Partial ordering; Interval; Fix point</ED>
<SD>Retracción; Polimorfismo; Relación orden parcial; Intervalo; Punto fijo</SD>
<LO>INIST-8341.354000059613300090</LO>
<ID>95-0149743</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 000D65 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000D65 | 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:95-0149743 |texte= A quick construction of a retraction of all retractions for stable bifinites }}
This area was generated with Dilib version V0.6.33. |