Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{958848, author = {Klíma, Ondřej and Polák, Libor}, address = {Berlin}, booktitle = {Algebraic Foundations in Computer Science}, doi = {http://dx.doi.org/10.1007/978-3-642-24897-9_10}, editor = {Werner Kuich, George Rahonis}, keywords = {identity problems; equations; unification; varieties of semigroups; varieties of unary semigroups}, language = {eng}, location = {Berlin}, isbn = {978-3-642-24896-2}, pages = {214-227}, publisher = {Springer}, title = {Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups}, year = {2011} }
TY - JOUR ID - 958848 AU - Klíma, Ondřej - Polák, Libor PY - 2011 TI - Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups PB - Springer CY - Berlin SN - 9783642248962 KW - identity problems KW - equations KW - unification KW - varieties of semigroups KW - varieties of unary semigroups N2 - In this survey we consider three kinds of algorithmic questions concerning varieties of semigroups. We are interested in identity problems, in the solvability of a system of equations and in the structure of all solutions of a given system. We study them in significant varieties of semigroups, monoids, groups, completely simple semigroups, completely regular semigroups (in particular semigroups satisfying the identity x^r=x) and involutary semigroups (in particular star regular semigroups and inverse semigroups). ER -
KLÍMA, Ondřej a Libor POLÁK. Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups. In Werner Kuich, George Rahonis. \textit{Algebraic Foundations in Computer Science}. Berlin: Springer, 2011, s.~214-227. ISBN~978-3-642-24896-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-24897-9\_{}10.
|