Other formats:
BibTeX
LaTeX
RIS
@inproceedings{958261, author = {Klíma, Ondřej and Korbelář, Miroslav and Polák, Libor}, address = {Berlin}, booktitle = {Algebraic Informatics}, doi = {http://dx.doi.org/10.1007/978-3-642-21493-6_12}, editor = {Franz Winkler}, keywords = {Rewriting; identity problems; varieties of semigroups}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Berlin}, isbn = {978-3-642-21492-9}, pages = {185-200}, publisher = {Springer}, title = {Rewriting in Varieties of Idempotent Semigroups}, year = {2011} }
TY - JOUR ID - 958261 AU - Klíma, Ondřej - Korbelář, Miroslav - Polák, Libor PY - 2011 TI - Rewriting in Varieties of Idempotent Semigroups PB - Springer CY - Berlin SN - 9783642214929 KW - Rewriting KW - identity problems KW - varieties of semigroups N2 - We consider rewriting as a tool for solving identity problems in varieties of idempotent semigroups. It is known that there exist finite canonical term rewrite systems and finite canonical word rewrite systems for only a very limited number of those varieties. We present a finite canonical conditional word rewrite system for a particular variety in which the classical approaches cannot be applied. Moreover, we obtain infinite single letter deleting rewrite systems for each join-irreducible variety. ER -
KLÍMA, Ondřej, Miroslav KORBELÁŘ and Libor POLÁK. Rewriting in Varieties of Idempotent Semigroups. In Franz Winkler. \textit{Algebraic Informatics}. Berlin: Springer, 2011, p.~185-200. ISBN~978-3-642-21492-9. Available from: https://dx.doi.org/10.1007/978-3-642-21493-6\_{}12.
|