Auteurs
Curation
PascalFrancis
Racine
Curation
Checkpoint
PascalFrancis
Racine
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (PascalFrancis)

Index « Auteurs » - entrée « Claude Kirchner »
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.
Claude Houssemand < Claude Kirchner < Claude Laurenco  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
000116 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]The Rho cube
000124 (2001) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France]Matching power
000126 (2001) Hubert Comon [France] ; Claude Kirchner [France]Constraint solving on terms
000197 (2002) Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]ELAN from a rewriting logic point of view
000255 (2002) Olivier Bournez [France] ; Claude Kirchner [France]Probabilistic rewrite strategies. Applications to ELAN
000256 (2002) Germain Faure [France] ; Claude Kirchner [France]Exceptions in the rewriting calculus
000261 (2002) Gilles Dowek [France] ; Thérèse Hardin [France] ; Claude Kirchner [France]Binding logic: Proofs and models
000263 (2003) Gilles Barthe [États-Unis, France] ; Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriPure patterns Type systems
000265 (2002) Eric Deplagne [France] ; Claude Kirchner [France]Deduction versus computation: The case of induction
000338 (2003) Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang Huy Nguyen [France]Proof search and proof check for equational and inductive theorems
000444 (2004) Claude Kirchner [France] ; Hélène Kirchner [France]Rule-based programming and proving: The ELAN experience outcomes
000599 (2006) Nachum Dershowitz [Israël] ; Claude Kirchner [France]Abstract canonical presentations
000630 (2006) Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]Expressing combinatory reduction systems derivations in the rewriting calculus
000653 (2006) Frédéric Blanqui ; Claude Kirchner ; Colin RibaOn the confluence of λ-calculus with conditional rewriting
000658 (2006) Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal islands
000693 (2006) Guillaume Burel [France] ; Claude Kirchner [France]Completion Is an Instance of Abstract Canonical System Inference
000786 (2010) Guillaume Burel [France] ; Claude Kirchner [France]Regaining cut admissibility in deduction modulo using abstract completion

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Curation/Author.i -k "Claude Kirchner" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Curation/Author.i  \
                -Sk "Claude Kirchner" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Claude Kirchner
}}
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