Auteurs
Merge
Accueil
Racine
Merge
Exploration
Accueil
Racine
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Merge (Accueil)

Index « Auteurs » - entrée « R. Amadio »
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.
R. Alvear < R. Amadio < R. Amalberti  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
00CB92 (1995) R. AmadioA Quick Construction of a Retraction of all Retractions for Stable Bifinites
00D133 (1994) R. Amadio ; M. DamReasoning about Higher-Order Processes
00D203 (1994) R. AmadioTrois Lambda Calculs
00D324 (1994) R. Amadio ; S. PrasadLocalities and Failures
00D429 (1994) R. Amadio ; O. Ait-MohamedAn Analysis of \pi-calculus Bisimulations
00D456 (1994) R. AmadioTranslating Core Facile
00D457 (1994) R. Amadio ; P.-L. CurienSelected Domains and Lambda Calculi
00D684 (1993) R. AmadioOn the Adequacy of Per Models
00D698 (1993) R. Amadio ; L. CardelliSubtyping Recursive Types
00D820 (1993) R. AmadioOn the Reduction of Chocs bisimulation to pi-calculus bisimulation
00DD57 (1992) R. AmadioA Uniform Presentation of CHOCS an pi-calculus

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "R. Amadio" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i  \
                -Sk "R. Amadio" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    Author.i
   |clé=    R. Amadio
}}
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