Construction d'un plus petit ordre de simplification

Jouannaud, J. P.; Kirchner, H.

Jouannaud, J. P. ; Kirchner, H.

RAIRO. Informatique théorique, Tome 18 (1984) no. 3, pp. 191-208

EuDML MR Zbl

@article{ITA_1984__18_3_191_0,
     author = {Jouannaud, J. P. and Kirchner, H.},
     title = {Construction d'un plus petit ordre de simplification},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {191--208},
     year = {1984},
     publisher = {EDP Sciences},
     volume = {18},
     number = {3},
     mrnumber = {763666},
     zbl = {0541.68013},
     language = {fr},
     url = {https://www.numdam.org/item/ITA_1984__18_3_191_0/}
}

TY  - JOUR
AU  - Jouannaud, J. P.
AU  - Kirchner, H.
TI  - Construction d'un plus petit ordre de simplification
JO  - RAIRO. Informatique théorique
PY  - 1984
SP  - 191
EP  - 208
VL  - 18
IS  - 3
PB  - EDP Sciences
UR  - https://www.numdam.org/item/ITA_1984__18_3_191_0/
LA  - fr
ID  - ITA_1984__18_3_191_0
ER  -

%0 Journal Article
%A Jouannaud, J. P.
%A Kirchner, H.
%T Construction d'un plus petit ordre de simplification
%J RAIRO. Informatique théorique
%D 1984
%P 191-208
%V 18
%N 3
%I EDP Sciences
%U https://www.numdam.org/item/ITA_1984__18_3_191_0/
%G fr
%F ITA_1984__18_3_191_0

Jouannaud, J. P.; Kirchner, H. Construction d'un plus petit ordre de simplification. RAIRO. Informatique théorique, Tome 18 (1984) no. 3, pp. 191-208. https://www.numdam.org/item/ITA_1984__18_3_191_0/

Bibliographie
Cité par

1.N. Dershowitz, Orderings for Term Rewriting Systems, Proc. 20th Symposium on Foundations of Computer Science, 1979, p. 123-131, also in TCS 17-3, 1982 | Zbl | MR

2.Doner, Trees Acceptors and Some of Their Applications, J. Computer System Science, vol. 4, 1970, p. 406-451. | Zbl | MR

3.J. V. Guttag, The Specification and Application to Programming of Abstract Data Types, Ph. D. Thesis, University of Toronto, 1975.

4.G. Huet et J. M. Hullot, Proofs by Induction in Equational Theories with Constructors, Proc. 21th Symposium on Foundation of Computer Science, 1980.

5.G. Huet et D. S. Lankford , On the Uniform Halting Problem for Term Rewriting Systems, Rapport Laboria, n° 283, I.N.R.I.A., 1978.

6.G. Huet, D. C. Oppen, Equations and Rewrite Rules: a Survey, in Formal Languages: Perspectives and Open Problems, R. BOOK, éd., Academic Press, 1980.

7.J. Hsiang et N. Dershowitz, Rewrite Methods for Clausal and non Clausal Theorem Proving, Proc. l0th I.C.A.L.P., 1983. | Zbl

8. J. P. Jouannaud, C. Kirchner et H. Kirchner, Incremental Construction of Unification Algorithms in Equational Theories, Proc. 10th I.C.A.L.P., 1983. | Zbl | MR

9. J. P. Jouannaud, P. Lescanne et F. Reing, Recursive Decomposition Ordering, in Formal Description of Programming Concepts 2, D. BJORNER, éd., North Holland, 1982. | Zbl

10. D. Knuth et P. Bendix, Simple word Problems in Universal Algebras, in Computational Problems in Abstract Algebra, J. LEECH, éd., Pergamon Press, 1970. | Zbl | MR

11. Kamin et J. J. Levy, Attempts for Generalizing the Recursive Path Ordering, to be published.

12. J. B. Kruskal, Well Quasi Ordering, the Tree Theorem and Vazsonyi's conjecture, Trans. Amer. Math. Soc., vol. 95, 1960, p. 210-225. | Zbl | MR

13. D. Plaisted, A Recursively Defined Ordering for Proving Terminaison of Term Rewriting Systems, Report 78-943, University of Illinois, 1978.