Isabelle Faugeras < Isabelle Gnaedig < Isabelle Guerin Lassous

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000376 (2005)	Isabelle Gnaedig ; Hélène Kirchner	Termination of rewriting strategies : a generic approach
000377 (2005)	Isabelle Gnaedig ; Hélène Kirchner	Termination of rewriting strategies : a generic approach
000A36 (2003)	Isabelle Gnaedig ; Hélène Kirchner	Innermost sufficient completeness
000A90 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Helene Kirchner	CARIBOO : A Multi-Strategy Termination Proof Tool Based on Induction
000B03 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Simplification and Termination of Strategies in Rule-Based Languages
000B29 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Proving weak termination also provides the right way to terminate - extended version -
000B45 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Proving weak termination also provides the right way to terminate
000B61 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Termination of ELAN strategies by simplification - Extended version -
000D58 (2003)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Outermost ground termination
001041 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	CARIBOO : An Induction Based Proof Tool for Termination with Strategies -- Extended version--
001065 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	CARIBOO : An Induction Based Proof Tool for Termination with Strategies
001188 (2002)	Isabelle Gnaedig ; Olivier Fissore ; Hélène Kirchner	Induction for weak termination
001268 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Outermost ground termination - Extended version
001310 (2002)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Outermost ground termination
001575 (2001)	Isabelle Gnaedig ; Hélène Kirchner ; Olivier Fissore	Induction for innermost and outermost ground termination
001581 (2001)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Induction for termination with local strategies - Extended version -
001604 (2001)	Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner	Induction for termination with local strategies
001A27 (2000)	Hélène Kirchner ; Isabelle Gnaedig	Termination and normalisation under strategies--Proofs in ELAN
001A81 (2000)	Isabelle Gnaedig ; Hélène Kirchner ; Olivier Fissore	Induction for termination
001F59 (1999)	Isabelle Gnaedig ; Hélène Kirchner ; Thomas Genet	Induction for Termination
002704 (1997)	Thomas Genet ; Isabelle Gnaedig	Termination Proofs using gpo Ordering Constraints

---

List of associated KwdEn.i

Nombre de documents	Descripteur
19	rewriting
17	induction
15	narrowing
15	termination
10	innermost
9	ordering constraints
9	strategy
8	rule-based languages
6	outermost
5	local strategy
5	ordering constraint
5	rule based languages
3	abstraction
3	elan
3	rule based language
3	strategies
3	weak termination
2	local strategy on operators
2	program simplification
2	termination proof
1	innermost strategy
1	innermost termination
1	lazy
1	narrowing.
1	ordering constrains
1	ordering constraint solving
1	outermost strategy
1	rewrite system
1	rewriting strategy
1	sufficient completeness
1	term rewriting

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Isabelle Gnaedig" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Isabelle Gnaedig" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Isabelle Gnaedig
}}

---

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