FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « FC03.fr.i » - entrée « Induction »
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.
Individu sain < Induction < Industrie  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 10.
Ident.Authors (with country if any)Title
000125 (2011) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak properties of rewriting
000504 (2005) Frédéric Blanqui [France]Decidability of type-checking in the calculus of algebraic constructions with size annotations
000527 (2005) Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]A proof of weak termination providing the right way to terminate
000681 (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
000762 (2002) Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France]Using automated induction-based theorem provers for reasoning about concurrent systems
000788 (2002) Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France]Observational proofs by rewriting
000813 (2002) Eric Deplagne [France] ; Claude Kirchner [France]Deduction versus computation: The case of induction
000A03 (2000) T. Arai [Japon] ; G. Mints [États-Unis]Extended normal form theorems for logical proofs from axioms
000A12 (2000) R. Mcdowell [États-Unis] ; D. Miller [États-Unis]Cut-elimination for a logic with definitions and induction
000C73 (1996) A. Bouhoula [France]Using induction and rewriting to verify and complete parameterized specifications

List of associated Author.i

Nombre de
documents		Descripteur
3Hélène Kirchner
2Claude Kirchner
2Eric Deplagne
2Isabelle Gnaedig
1A. Bouhoula
1Abdessamad Imine
1Adel Bouhoula
1D. Miller
1Frédéric Blanqui
1G. Mints
1Michaël Rusinowitch
1Olivier Fissore
1Quang Huy Nguyen
1R. Mcdowell
1Sorin Stratulat
1T. Arai
1Yahya Slimani

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Induction" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Induction" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Induction
}}
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