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 « Delaware »
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.
Dakota du Sud < Delaware < District d'Arnsberg  Facettes :

List of bibliographic references indexed by Delaware

Number of relevant bibliographic references: 8.
Ident.Authors (with country if any)Title
001E19 (2012) Ghayda M. Mirzaa [États-Unis] ; Robert L. Conway [États-Unis] ; Karen W. Gripp [États-Unis] ; Tally Lerman-Sagie [Israël] ; Dawn H. Siegel [États-Unis] ; Linda S. Devries [Pays-Bas] ; Dorit Lev [Israël] ; Nancy Kramer [États-Unis] ; Elizabeth Hopkins [États-Unis] ; John M. Graham Jr [États-Unis] ; William B. Dobyns [États-Unis]Megalencephaly‐capillary malformation (MCAP) and megalencephaly‐polydactyly‐polymicrogyria‐hydrocephalus (MPPH) syndromes: Two closely related disorders of brain overgrowth and abnormal brain and body morphogenesis
007A18 (2003) W. Reisig [États-Unis]On Gurevich's theorem on sequential algorithms
009270 (2001) Dieter Hofbauer [États-Unis]Termination Proofs for Ground Rewrite Systems – Interpretations and Derivational Complexity
009408 (2001) Bernhard Westfechtel [États-Unis]Ein graphbasiertes Managementsystem für dynamische Entwicklungsprozesse
009F50 (2000) Hans Zantema ; Alfons Geser [États-Unis]A Complete Characterization of Termination of 0p 1q→ 1r 0s
00A980 (1999) Peter Ladkin [États-Unis] ; Leslie Lamport [États-Unis] ; Bryan Olivier ; Denis RoegelLazy caching in TLA
00BC04 (1997) Bernhard Steffen [États-Unis] ; Tiziana Margaria [États-Unis] ; Volker Braun [États-Unis]The Electronic Tool Integration platform: concepts and design
00DE61 (1990) Deepak Kapur [États-Unis] ; G. Sivakumar [États-Unis] ; Hantao Zhang [États-Unis]A new method for proving termination of AC-rewrite systems

List of associated Author.i

Nombre de
documents		Descripteur
1Alfons Geser
1Bernhard Steffen
1Bernhard Westfechtel
1Bryan Olivier
1Dawn H. Siegel
1Deepak Kapur
1Denis Roegel
1Dieter Hofbauer
1Dorit Lev
1Elizabeth Hopkins
1G. Sivakumar
1Ghayda M. Mirzaa
1Hans Zantema
1Hantao Zhang
1John M. Graham Jr
1Karen W. Gripp
1Leslie Lamport
1Linda S. Devries
1Nancy Kramer
1Peter Ladkin
1Robert L. Conway
1Tally Lerman-Sagie
1Tiziana Margaria
1Volker Braun
1W. Reisig
1William B. Dobyns

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 "Delaware" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffRegion.i  \
                -Sk "Delaware" \
         | 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é=    Delaware
}}
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