Geodesic
Finiteness results on rewriting systems
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 15 (1981) no. 4, pp. 373-391.

Voir la notice de l'article provenant de la source Numdam

@article{ITA_1981__15_4_373_0,
     author = {Raoult, Jean-Claude},
     title = {Finiteness results on rewriting systems},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {373--391},
     publisher = {EDP-Sciences},
     volume = {15},
     number = {4},
     year = {1981},
     mrnumber = {670730},
     zbl = {0491.03015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ITA_1981__15_4_373_0/}
}
TY  - JOUR
AU  - Raoult, Jean-Claude
TI  - Finiteness results on rewriting systems
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1981
SP  - 373
EP  - 391
VL  - 15
IS  - 4
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/item/ITA_1981__15_4_373_0/
LA  - en
ID  - ITA_1981__15_4_373_0
ER  - 
%0 Journal Article
%A Raoult, Jean-Claude
%T Finiteness results on rewriting systems
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1981
%P 373-391
%V 15
%N 4
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1981__15_4_373_0/
%G en
%F ITA_1981__15_4_373_0
Raoult, Jean-Claude. Finiteness results on rewriting systems. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 15 (1981) no. 4, pp. 373-391. http://geodesic.mathdoc.fr/item/ITA_1981__15_4_373_0/

1. N. Bourbaki, Théorie des Ensembles, Chapt. III, § 6, No. 5, Hermann, Paris, 1963. | MR

2. G. Huet, Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems, in Proceedings of the 18th annual I.E.E.E. Symposium on Fondations of Computer Science, October 1977. | MR

3. G. Huet and D. S. Lankford, On the Uniform Halting Problem jor Term Rewriting Systems, Rapport de Recherche, No. 283, I.R.I.A., March 1978.

4. D. E. Knuth and P. Bendix, Simple Words Problems in Universal Algebras, in Computational Problems in Abstract Algebras, Ed., J. LEECH, Pergamon Press, 1970, pp. 263-297. | Zbl | MR

5. D. S. Lankford and A. M. Ballantyne, The Rejutation Completeness of Blocked Permutative Narrowing and Resolution (to appear).

6. J. C. Raoult and J. Vuillemin, Operational and Denotational Equivalences Between Recursive Programs, Rapport de Recherche, No. 9, L.R.I., Orsay, June 1978.

7. J. W. Thatcher and J. B. Wright, Generalized Finite Automata Theory with an Application to a Decision Problem of Second Order Logic, Math. System Theory, Vol. 2, 1968, pp. 57-81. | Zbl | MR