individualized training < induction < induction by rewriting

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 33.
[20-40] [0 - 20][0 - 33]

Ident.	Authors (with country if any)	Title
003633 (2002)	Francis Alexandre	Preuves par récurrence : stratégies et résultats de décidabilité
003639 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Outermost ground termination - Extended version
003669 (2002)	Eric Deplagne ; Claude Kirchner	Deduction versus Computation : the Case of Induction
003870 (2003)	Isabelle Gnaedig ; Hélène Kirchner	Innermost sufficient completeness
003A82 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Outermost ground termination
003A85 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Proving weak termination also provides the right way to terminate - extended version -
003B37 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Proving weak termination also provides the right way to terminate
003B60 (2003)	Olivier Fissore	Terminaison de la réécriture sous stratégies
003B70 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Helene Kirchner	CARIBOO : A Multi-Strategy Termination Proof Tool Based on Induction
003B85 (2003)	Eric Deplagne ; Claude Kirchner ; Hélène Kirchner ; Quang Huy Nguyen	Proof Search and Proof Check for Equational and Inductive Theorems
004088 (2005)	Isabelle Gnaedig ; Hélène Kirchner	Termination of rewriting strategies : a generic approach
004370 (2005)	Isabelle Gnaedig ; Hélène Kirchner	Termination of rewriting strategies : a generic approach
004371 (2005)	Hejer Rejeb	Preuve inductive de terminaison faible : vers une implantation

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i -k "induction" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i  \
                -Sk "induction" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    induction
}}

---

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