Finiteness results on rewriting systems
Raoult, Jean-Claude
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 15 (1981), p. 373-391 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1981-01-01
@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},
     volume = {15},
     year = {1981},
     pages = {373-391},
     mrnumber = {670730},
     zbl = {0491.03015},
     language = {en},
     url = {http://dml.mathdoc.fr/item/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) pp. 373-391. http://gdmltest.u-ga.fr/item/ITA_1981__15_4_373_0/

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

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 660480

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. | MR 255472 | Zbl 0188.04902

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. | MR 224476 | Zbl 0157.02201