Další formáty:
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ÁŘ a Libor POLÁK. Rewriting in Varieties of Idempotent Semigroups. In Franz Winkler. \textit{Algebraic Informatics}. Berlin: Springer, 2011, s.~185-200. ISBN~978-3-642-21492-9. Dostupné z: https://dx.doi.org/10.1007/978-3-642-21493-6\_{}12.
|
