Curation
PascalFrancis
Racine
Curation
Checkpoint
PascalFrancis
Racine
PascalFrancis
Exploration
Accueil
Racine
Racine

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.

A quick construction of a retraction of all retractions for stable bifinites

Identifieur interne : 000B29 ( PascalFrancis/Curation ); précédent : 000B28; suivant : 000B30

A quick construction of a retraction of all retractions for stable bifinites

Auteurs : R. M. Amadio [France]

Source :

RBID : Pascal:95-0149743

Descripteurs français

English descriptors

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
pA  
A01 01  1    @0 0890-5401
A02 01      @0 INFCEC
A03   1    @0 Inf. comput.
A05       @2 116
A06       @2 2
A08 01  1  ENG  @1 A quick construction of a retraction of all retractions for stable bifinites
A11 01  1    @1 AMADIO (R. M.)
A14 01      @1 CNRS-CRIN INRIA-Lorraine @2 Nancy @3 FRA
A20       @1 272-274
A21       @1 1995
A23 01      @0 ENG
A43 01      @1 INIST @2 8341 @5 354000059613300090
A44       @0 0000
A45       @0 9 ref.
A47 01  1    @0 95-0149743
A60       @1 P
A61       @0 A
A64 01  1    @0 Information and computation
A66 01      @0 USA
C01 01    ENG  @0 In the framework of stable domain theory we show that the space of retractions over a bifinite is a retract of the functional space
C02 01  X    @0 001D02A05
C03 01  X  FRE  @0 Rétraction @5 67
C03 01  X  ENG  @0 Retraction @5 67
C03 01  X  SPA  @0 Retracción @5 67
C03 02  X  FRE  @0 Polymorphisme @5 68
C03 02  X  ENG  @0 Polymorphism @5 68
C03 02  X  SPA  @0 Polimorfismo @5 68
C03 03  X  FRE  @0 Relation ordre partiel @5 69
C03 03  X  ENG  @0 Partial ordering @5 69
C03 03  X  SPA  @0 Relación orden parcial @5 69
C03 04  X  FRE  @0 Intervalle @5 70
C03 04  X  ENG  @0 Interval @5 70
C03 04  X  SPA  @0 Intervalo @5 70
C03 05  X  FRE  @0 Point fixe @5 71
C03 05  X  ENG  @0 Fix point @5 71
C03 05  X  SPA  @0 Punto fijo @5 71
C03 06  X  FRE  @0 Algebraic cpo @4 INC @5 90
N21       @1 088

Links toward previous steps (curation, corpus...)

Links to Exploration step

Pascal:95-0149743

Le 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="1">
<inist:fA14 i1="01">
<s1>CNRS-CRIN INRIA-Lorraine</s1>
<s2>Nancy</s2>
<s3>FRA</s3>
</inist:fA14>
<country>France</country>
</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>
</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="1">
<inist:fA14 i1="01">
<s1>CNRS-CRIN INRIA-Lorraine</s1>
<s2>Nancy</s2>
<s3>FRA</s3>
</inist:fA14>
<country>France</country>
</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>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Curation

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000B29 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Curation/biblio.hfd -nk 000B29 | SxmlIndent | more

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Curation
   |type=    RBID
   |clé=     Pascal:95-0149743
   |texte=   A quick construction of a retraction of all retractions for stable bifinites
}}
Wicri

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