Auteurs
Corpus
Hal
Racine
Corpus
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « Auteurs » - entrée « Gilles Dowek »
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.
Gilles Defourneaux < Gilles Dowek < Gilles Fedak  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
001256 (2002-10) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerBinding Logic: proofs and models
002708 (1999-07) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerHOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic
002795 (1995) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerHigher Order Unification via Explicit Substitutions
002810 (1998) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerHolls: an Intentional First-Order Expression of Higher-Order Logic
002B24 (2013-08-22) Gilles Dowek ; Jean-Pierre Archambault ; Emmanuel Baccelli ; Claudio Cimellli ; Albert Cohen ; Christine Eisenbeis ; Thierry Viéville ; Benjamin Wack ; Hugues Bersini ; Guillaume Le BlancInformatique et sciences du numérique : Édition spéciale Python
003618 (2007) Paul Brauner ; Gilles Dowek ; Benjamin WackNormalization in Supernatural deduction and in Deduction modulo
004D10 (2003) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerTheorem Proving Modulo Revised Version
004D11 (1998) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerTheorem Proving Modulo
004D12 (2003) Gilles Dowek ; Thérèse Hardin ; Claude KirchnerTheorem Proving Modulo
005054 (1998) Gilles Dowek ; Thérèse Hardin ; Claude Kirchner ; Frank PfenningUnification via Explicit Substitutions: The Case of Higher-Order Patterns
005A39 (2010-01-09) Olivier Bournez ; Gilles Dowek ; Rémi Gilleron ; Serge Grigorieff ; Jean-Yves Marion ; Simon Perdrix ; Sophie TisonDécidabilité et Complexité
006181 (2013-03-25) Antoine Rousseau ; Aurélie Darnaud ; Brice Goglin ; Céline Acharian ; Christine Leininger ; Christophe Godin ; Clarisse Holik ; Claude Kirchner ; Diane Rives ; Elodie Darquie ; Erwan Kerrien ; Fabrice Neyret ; Florent Masseglia ; Florian Dufour ; Gérard Berry ; Gilles Dowek ; Hélène Robak ; Hélène Xypas ; Irina Illina ; Isabelle Gnaedig ; Joanna Jongwane ; Jocelyne Ehrel ; Laurent Viennot ; Laure Guion ; Lisette Calderan ; Lola Kovacic ; Marie Collin ; Marie-Agnès Enard ; Marie-Hélène Comte ; Martin Quinson ; Martine Olivi ; Mathieu Giraud ; Mathilde Dorémus ; Mia Ogouchi ; Muriel Droin ; Nathalie Lacaux ; Nicolas Rougier ; Nicolas Roussel ; Pascal Guitton ; Pierre Peterlongo ; Rose-Marie Cornus ; Simon Vandermeersch ; Sophie Maheo ; Sylvain Lefebvre ; Sylvie Boldo ; Thierry Viéville ; Véronique Poirel ; Aline Chabreuil ; Arnaud Fischer ; Claude Farge ; Claude Vadel ; Isabelle Astic ; Jean-Pierre Dumont ; Loic Féjoz ; Patrick Rambert ; Pierre Paradinas ; Sophie De Quatrebarbes ; Stéphane LaurentMédiation Scientifique : une facette de nos métiers de la recherche
006182 (2015-06-01) Sylvie Alayrangues ; Gilles Dowek ; Erwan Kerrien ; Jean Mairesse ; Thierry ViévilleMédiation en sciences du numériques : un levier pour comprendre notre quotidien ?

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Gilles Dowek" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Gilles Dowek" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Gilles Dowek
}}
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