Geodesic
Unification in varieties of idempotent semigroups.
Semigroup forum, Tome 36 (1987), pp. 127-146

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

Mots-clés : term rewriting systems, varieties of idempotent semigroups, unification types, defining sets of identities 
@article{SF_1987__36_134890,
     author = {F. Baader},
     title = {Unification in varieties of idempotent semigroups.},
     journal = {Semigroup forum},
     pages = {127--146},
     publisher = {mathdoc},
     volume = {36},
     year = {1987},
     zbl = {0624.20039},
     url = {http://geodesic.mathdoc.fr/item/SF_1987__36_134890/}
}
TY  - JOUR
AU  - F. Baader
TI  - Unification in varieties of idempotent semigroups.
JO  - Semigroup forum
PY  - 1987
SP  - 127
EP  - 146
VL  - 36
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SF_1987__36_134890/
ID  - SF_1987__36_134890
ER  - 
%0 Journal Article
%A F. Baader
%T Unification in varieties of idempotent semigroups.
%J Semigroup forum
%D 1987
%P 127-146
%V 36
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SF_1987__36_134890/
%F SF_1987__36_134890
F. Baader. Unification in varieties of idempotent semigroups.. Semigroup forum, Tome 36 (1987), pp. 127-146. http://geodesic.mathdoc.fr/item/SF_1987__36_134890/