Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

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.

Le cluster Isabelle Gnaedig - Olivier Fissore

Terms

21Isabelle Gnaedig
16Olivier Fissore
69Hélène Kirchner
9Hubert Dubois
13Peter Borovansky
3Marian Vittek
26Pierre-Etienne Moreau

Associations

Freq.WeightAssociation
150.818Isabelle Gnaedig - Olivier Fissore
190.499Hélène Kirchner - Isabelle Gnaedig
140.421Hélène Kirchner - Olivier Fissore
80.321Hubert Dubois - Hélène Kirchner
90.301Hélène Kirchner - Peter Borovansky
40.218Peter Borovansky - Pierre-Etienne Moreau
30.340Marian Vittek - Pierre-Etienne Moreau
70.165Hélène Kirchner - Pierre-Etienne Moreau
Documents par ordre de pertinence**** probable Xml problem ****
000B03 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerSimplification and Termination of Strategies in Rule-Based Languages
000B29 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerProving weak termination also provides the right way to terminate - extended version -
000B45 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerProving weak termination also provides the right way to terminate
000B61 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerTermination of ELAN strategies by simplification - Extended version -
000D58 (2003) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerOutermost ground termination
001041 (2002) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerCARIBOO : An Induction Based Proof Tool for Termination with Strategies -- Extended version--
001065 (2002) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerCARIBOO : An Induction Based Proof Tool for Termination with Strategies
001138 (2002) Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne MoreauELAN from a rewriting logic point of view
001188 (2002) Isabelle Gnaedig ; Olivier Fissore ; Hélène KirchnerInduction for weak termination
001268 (2002) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerOutermost ground termination - Extended version
001310 (2002) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerOutermost ground termination
001575 (2001) Isabelle Gnaedig ; Hélène Kirchner ; Olivier FissoreInduction for innermost and outermost ground termination
001581 (2001) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerInduction for termination with local strategies - Extended version -
001604 (2001) Olivier Fissore ; Isabelle Gnaedig ; Hélène KirchnerInduction for termination with local strategies
001A81 (2000) Isabelle Gnaedig ; Hélène Kirchner ; Olivier FissoreInduction for termination
001F08 (1999) Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne MoreauELAN from the rewriting logic point of view
002202