experiments < explicit < exploiting | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
000116 (2012) | Karim Belabas [France] ; Frits Beukers [Pays-Bas] ; Pierrick Gaudry [France] ; William Mccallum [États-Unis] ; Bjorn Poonen [États-Unis] ; Samir Siksek [Royaume-Uni] ; Michael Stoll [Allemagne] ; Mark Watkins | Explicit methods in number theory. Rational points and Diophantine equations. |
000148 (2010) | Daniel Lima Ventura [Brésil] ; Mauricio Ayala-Rinc N [Brésil] ; Fairouz Kamareddine [Royaume-Uni] | Intersection Type Systems and Explicit Substitutions Calculi |
000288 (2003) | Fairouz Kamareddine [Royaume-Uni] ; Haiyan Qiao [Suède] | Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF |
000356 (1999) | Masahiko Sato [Japon] ; Takafumi Sakurai [Japon] ; Rod Burstall [Royaume-Uni] | Explicit Environments |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/UK/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/UK/Analysis/Title.i -k "explicit"
HfdIndexSelect -h $EXPLOR_AREA/Data/UK/Analysis/Title.i \ -Sk "explicit" \ | HfdSelect -Kh $EXPLOR_AREA/Data/UK/Analysis/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= UK |étape= Analysis |type= indexItem |index= Title.i |clé= explicit }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |