individualized training < induction < induction by rewriting

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000251 (1986)	J.-P. Jouannaud ; E. Kounalis	Proofs by induction in equational theories without constructors
000767 (1989)	P. Marquis	Analyse logique du raisonnement explicatif
000873 (1990)	E. Kounalis ; M. Rusinowitch	Mechanizing Inductive Reasoning
000908 (1990)	E. Kounalis ; M. Rusinowitch	A Mechanization of Conditional Reasoning
000922 (1990)	D. Galmiche	Program Development in Constructive Type Theory
000D73 (1992)	P. Marquis	Building up Inductive Generalizations from Facts
001B32 (1995)	O. Hermann	Mécanisation de la recherche de preuves et de programmes en Arithmétique Fonctionnelle du Second Ordre
002501 (1999)	Guillaume Bonfante ; François Lamarche	Constructing orders by means of inductive definitions
002504 (1999)	Alessandro Armando ; Gilles Defourneaux ; Michael Rusinowitch ; Sorin Stratulat	Integrating decision procedures in Spike
002793 (1999)	Isabelle Gnaedig ; Hélène Kirchner ; Thomas Genet	Induction for Termination
002C55 (2000)	Isabelle Gnaedig ; Hélène Kirchner ; Olivier Fissore	Induction for termination
002C57 (2000)	Francis Alexandre ; Khaled Bsaies	Pliage et récurrence pour le construction de programme
002F03 (2001)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Induction for termination with local strategies
002F05 (2001)	Isabelle Gnaedig ; Hélène Kirchner ; Olivier Fissore	Induction for innermost and outermost ground termination
003041 (2001)	Alessandro Armando ; Michael Rusinowitch ; Sorin Stratulat	Incorporating Decision Procedures in Implicit Induction
003133 (2001)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Induction for termination with local strategies - Extended version -
003248 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Outermost ground termination
003254 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	CARIBOO : An Induction Based Proof Tool for Termination with Strategies -- Extended version--
003270 (2002)	Isabelle Gnaedig ; Olivier Fissore ; Hélène Kirchner	Induction for weak termination
003292 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	CARIBOO : An Induction Based Proof Tool for Termination with Strategies
003633 (2002)	Francis Alexandre	Preuves par récurrence : stratégies et résultats de décidabilité

---

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