inductifs < induction < inductionless

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by induction

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

Ident.	Authors (with country if any)	Title
000770 (2015)	Riccardo Urbanet ; Aurelie Nguyen Dinh Cat ; Alessandra Feraco ; Nicolas Venteclef ; Soumaya El Mogrhabi ; Catalina Sierra-Ramos ; Diego Alvarez De La Rosa ; Gail K. Adler ; Didier Quilliot ; Patrick Rossignol ; Francesco Fallo ; Rhian M. Touyz ; Frédéric Jaisser [France]	Adipocyte Mineralocorticoid Receptor Activation Leads to Metabolic Syndrome and Induction of Prostaglandin D2 Synthase.
001621 (2013)	Abdelkader Kersani [France] ; Nicolas Peltier [France]	Combining Superposition and Induction: A Practical Realization
001800 (2012-12-15)	Amira Henaien [France] ; Sorin Stratulat [France]	Performing Implicit Induction Reasoning with Certifying Proof Environments
001A25 (2012-07-12)	Alejandra Lorenzo [France] ; Christophe Cerisara [France]	Unsupervised frame based Semantic Role Induction: application to French and English
001A72 (2012-06-22)	Sorin Stratulat [France]	A Unified View of Induction Reasoning for First-Order Logic
001F67 (2011-12-07)	Sorin Stratulat [France] ; Vincent Demange [France]	Automated Certification of Implicit Induction Proofs
002A27 (2010-10-11)	Sorin Stratulat [France]	Integrating Implicit Induction Proofs into Certified Proof Environments
003065 (2010)	Sorin Stratulat [France]	Integrating Implicit Induction Proofs into Certified Proof Environments
003912 (2009)	José Meseguer	Order-Sorted Parameterization and Induction
004688 (2007-10-25)	Fabrice Nahon [France]	Proof by induction in sequent calculus modulo
004841 (2007-07)	Isabelle Gnaedig [France]	Induction for Positive Almost Sure Termination
004E64 (2007)	Isabelle Gnaedig [France]	Induction for Positive Almost Sure Termination - Extended version -
006254 (2005)	Claus-Peter Wirth [Allemagne]	History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!
006D05 (2004)	Daniel Leivant [États-Unis]	Intrinsic reasoning about functional programs II: unipolar induction and primitive-recursion
006F84 (2004)	Eric Deplagne [Belgique] ; Claude Kirchner [France]	Induction as Deduction Modulo
007559 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Helene Kirchner	CARIBOO : A Multi-Strategy Termination Proof Tool Based on Induction
007E55 (2003)	Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]	CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction
007F45 (2002-10)	Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]	CARIBOO: An Induction Based Proof Tool for Termination with Strategies
008020 (2002-07)	Eric Deplagne [France] ; Claude Kirchner [France]	Deduction versus Computation: the Case of Induction
008353 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	CARIBOO : An Induction Based Proof Tool for Termination with Strategies -- Extended version--
008377 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	CARIBOO : An Induction Based Proof Tool for Termination with Strategies

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "induction" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "induction" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.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