terminal management < termination < termination analysis

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000013 (1984)	M. Munoz ; J.-P. Jouannaud	Termination of a set of rules modulo a set of equations
000042 (1984)	Itle Equipe Eureca	Outils techniques pour la validation et la spécification des types abstraits algébriques
000266 (1986)	A. Ben Cherifa ; I. Gnaedig ; P. Lescanne	Les outils de preuve de terminaison dans REVE
000286 (1986)	D. Vidal	Terminaison : un ordre compatible AC
000287 (1986)	F. Bellegarde ; P. Lescanne	Termination proofs based on transformation techniques
000355 (1986)	I. Gnaedig ; P. Lescanne	Rewriting systems for proving termination of rewriting systems - Application to associative commutative rewriting
000357 (1986)	M. Rusinowitch	On termination of the direct sum of term rewriting systems
000371 (1986)	J.-P. Jouannaud ; P. Lescanne ; J. Mzali ; J.-L. Rémy	Présentation de l'équipe de recherche EURECA
000375 (1986)	I. Gnaedig	Preuves de terminaison des systèmes de réécriture associatifs commutatifs : une méthode fondée sur la réécriture elle-même
000381 (1986)	A. Ben Cherifa	Preuves de terminaison des systèmes de réécriture : un outil fondé sur les interprétations polynomiales
000385 (1987)	P. Lescanne ; A. Lazrek	Proving inductive properties of functions defined by rewriting systems in presence of relations among constructors. A description of an actual implementation, based on proofs by consistency
000402 (1987)	M. Rusinowitch	On termination of the direct sum of term rewriting systems
000428 (1987)	A. Ben Cherifa ; P. Lescanne	Termination of rewriting systems by polynomial. Interpretations and its implementation
000454 (1987)	I. Gnaedig	Investigations on termination of equational rewriting
000635 (1988)	J. Rouyer	Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm
000658 (1988)	F. Bellegarde ; P. Lescanne	Termination Proofs based on Transformation Techniques
000733 (1989)	C. Kirchner ; H. Kirchner	Rewriting : Theory and Applications
000A77 (1991)	J. Rouyer	Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm
000B18 (1991)	P. Lescanne	Well Rewrite Orderings and Well Quasi-Orderings
000C33 (1991)	P. Lescanne	Termination of Rewrite Systems by Elementary Interpretations
000D15 (1991)	J. Rouyer	Calcul formel en géométrie algébrique réelle appliqué à la terminaison des systèmes de réécriture

---

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 "termination" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Curation/KwdEn.i  \
                -Sk "termination" \
         | 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é=    termination
}}

---

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