AffRegion.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AffRegion.i » - entrée « Région de Tōhoku »
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égion de Kantō < Région de Tōhoku < Région du Kansai  Facettes :

List of bibliographic references indexed by Région de Tōhoku

Number of relevant bibliographic references: 6.
Ident.Authors (with country if any)Title
001470 (2013) Takahito Aoto [Japon] ; Munehiro Iwami [Japon]Termination of Rule-Based Calculi for Uniform Semi-Unification
001599 (2013) Takahito Aoto [Japon]Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering
003968 (2009) Ika Kartika [Japon] ; H. Matsumoto [Japon] ; A. Chiba [Japon]Deformation and Microstructure Evolution in Co-Ni-Cr-Mo Superalloy during Hot Working
004303 (2008) Kentaro Kikuchi [Japon] ; Stéphane Lengrand [France]Strong Normalisation of Cut-Elimination That Simulates β -Reduction
004B82 (2007) Kentaro Kikuchi [Japon]Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi
008778 (2002) Marc Wirtz [États-Unis] ; Matthew Parker [États-Unis] ; Yoshio Kobayashi [États-Unis, Japon] ; Charles R. Martin [États-Unis]Molecular Sieving and Sensing with Gold Nanotube Membranes

List of associated Author.i

Nombre de
documents		Descripteur
2Kentaro Kikuchi
2Takahito Aoto
1A. Chiba
1Charles R. Martin
1H. Matsumoto
1Ika Kartika
1Marc Wirtz
1Matthew Parker
1Munehiro Iwami
1Stéphane Lengrand
1Yoshio Kobayashi

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i -k "Région de Tōhoku" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Région de Tōhoku" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffRegion.i
   |clé=    Région de Tōhoku
}}
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