Geodesic
A Noetherian and confluent rewrite system for idempotent semigroups.
Semigroup forum, Tome 25 (1982), pp. 83-110.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : band, replacement rules, terminating replacement system, Church-Rosser- Property, unique normal form for words, decision procedure for word equality, term rewriting systems 
@article{SF_1982__25_134565,
     author = {J. Siekmann and P. Szab\'o},
     title = {A {Noetherian} and confluent rewrite system for idempotent  semigroups.},
     journal = {Semigroup forum},
     pages = {83--110},
     publisher = {mathdoc},
     volume = {25},
     year = {1982},
     zbl = {0493.68087},
     url = {http://geodesic.mathdoc.fr/item/SF_1982__25_134565/}
}
TY  - JOUR
AU  - J. Siekmann
AU  - P. Szabó
TI  - A Noetherian and confluent rewrite system for idempotent  semigroups.
JO  - Semigroup forum
PY  - 1982
SP  - 83
EP  - 110
VL  - 25
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SF_1982__25_134565/
ID  - SF_1982__25_134565
ER  - 
%0 Journal Article
%A J. Siekmann
%A P. Szabó
%T A Noetherian and confluent rewrite system for idempotent  semigroups.
%J Semigroup forum
%D 1982
%P 83-110
%V 25
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SF_1982__25_134565/
%F SF_1982__25_134565
J. Siekmann; P. Szabó. A Noetherian and confluent rewrite system for idempotent  semigroups.. Semigroup forum, Tome 25 (1982), pp. 83-110. http://geodesic.mathdoc.fr/item/SF_1982__25_134565/