A quick construction of a retraction of all retractions for stable bifinites
Identifieur interne : 000D33 ( PascalFrancis/Checkpoint ); précédent : 000D32; suivant : 000D34A quick construction of a retraction of all retractions for stable bifinites
Auteurs : R. M. Amadio [France]Source :
- 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
Affiliations:
Links toward previous steps (curation, corpus...)
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 wicri:level="3"><inist:fA14 i1="01"><s1>CNRS-CRIN INRIA-Lorraine</s1>
<s2>Nancy</s2>
<s3>FRA</s3>
</inist:fA14>
<country>France</country>
<placeName><region type="region">Grand Est</region>
<region type="old region">Lorraine (région)</region>
<settlement type="city">Nancy</settlement>
</placeName>
</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>
<idno type="wicri:Area/PascalFrancis/Curation">000B29</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">000D33</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000D33</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 wicri:level="3"><inist:fA14 i1="01"><s1>CNRS-CRIN INRIA-Lorraine</s1>
<s2>Nancy</s2>
<s3>FRA</s3>
</inist:fA14>
<country>France</country>
<placeName><region type="region">Grand Est</region>
<region type="old region">Lorraine (région)</region>
<settlement type="city">Nancy</settlement>
</placeName>
</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>
</inist>
<affiliations><list><country><li>France</li>
</country>
<region><li>Grand Est</li>
<li>Lorraine (région)</li>
</region>
<settlement><li>Nancy</li>
</settlement>
</list>
<tree><country name="France"><region name="Grand Est"><name sortKey="Amadio, R M" sort="Amadio, R M" uniqKey="Amadio R" first="R. M." last="Amadio">R. M. Amadio</name>
</region>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000D33 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd -nk 000D33 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= PascalFrancis |étape= Checkpoint |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. |