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.
|
