Unification in varieties of idempotent semigroups.
Semigroup forum (1987)
- Volume: 36, page 127-146
- ISSN: 0037-1912; 1432-2137/e
Access Full Article
top
How to cite
topBaader, F.. "Unification in varieties of idempotent semigroups.." Semigroup forum 36 (1987): 127-146. <http://eudml.org/doc/134890>.
@article{Baader1987,
author = {Baader, F.},
journal = {Semigroup forum},
keywords = {term rewriting systems; varieties of idempotent semigroups; unification types; defining sets of identities},
pages = {127-146},
title = {Unification in varieties of idempotent semigroups.},
url = {http://eudml.org/doc/134890},
volume = {36},
year = {1987},
}
TY - JOUR
AU - Baader, F.
TI - Unification in varieties of idempotent semigroups.
JO - Semigroup forum
PY - 1987
VL - 36
SP - 127
EP - 146
KW - term rewriting systems; varieties of idempotent semigroups; unification types; defining sets of identities
UR - http://eudml.org/doc/134890
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.