rewrite systems < rewriting < rewriting and completion modulo equalities

Facettes : Author.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000009 (1984)	P. Lescanne	Term rewriting systems and algebra
000013 (1984)	M. Munoz ; J.-P. Jouannaud	Termination of a set of rules modulo a set of equations
000023 (1984)	P. Lescanne	Uniform termination of term rewriting systems - Recursive Decomposition Ordering with status
000024 (1984)	F. Bellegarde	Rewriting systems on FP expressions that reduces the number of sequences they yield
000039 (1984)	J. Durand	Use a rewriting strategy in your logic program to solve it
000042 (1984)	Itle Equipe Eureca	Outils techniques pour la validation et la spécification des types abstraits algébriques
000058 (1984)	J. Durand	Une stratégie de réécriture pour les programmes logiques
000075 (1984)	G. Choque	How to compute a complete set of minimal incrementations with the recursive decomposition ordering?
000077 (1984)	E. Kounalis	Use trees, not to puzzle over completeness of data type specifications
000100 (1984)	I. Gnaedig	The recursive path ordering with a least constant : an implementation in REVE-2
000121 (1984)	J. Durand	LOGRE : un prototype de système de programmation en logique utilisant des techniques de réécriture
000125 (1984)	P. Lescanne	REVE : a rewrite rule laboratory
000133 (1985)	K. Futatsugi ; J. A. Goguen ; J.-P. Jouannaud ; J. Meseguer	Principles of OBJ2
000144 (1985)	M. Rusinowitch	Path of subterms ordering and recursive decomposition ordering revisted
000148 (1985)	E. Kounalis ; H. Zhang	A general completeness test for equational specifications
000208 (1985)	B. Waldmann	Les systèmes de réécriture conditionnels réduisants
000215 (1985)	F. Bellegarde	Convergent term rewriting systems can be used for program transformation
000228 (1985)	F. Bellegarde	Utilisation des systèmes de réécriture d'expressions fonctionnelles comme outils de transformation de programmes itératifs
000250 (1986)	F. Bellegarde	Rewriting system on FP expressions that reduces the number of sequences yielded
000257 (1986)	J.-P. Jouannaud ; P. Lescanne	La réécriture
000266 (1986)	A. Ben Cherifa ; I. Gnaedig ; P. Lescanne	Les outils de preuve de terminaison dans REVE

---

Pour manipuler ce document sous Unix (Dilib)

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

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i -k "rewriting" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "rewriting" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    rewriting
}}

---

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