The word problem for free adequate semigroups

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10317523" target="_blank" >RIV/00216208:11320/15:10317523 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1142/S0218196714500404" target="_blank" >http://dx.doi.org/10.1142/S0218196714500404</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1142/S0218196714500404" target="_blank" >10.1142/S0218196714500404</a>

Jazyk výsledku
angličtina
Název v původním jazyce
The word problem for free adequate semigroups
Popis výsledku v původním jazyce
We study the complexity of computation in finitely generated free left, right and two-sided adequate semigroups and monoids. We present polynomial time algorithms to solve the word problem and compute normal forms in each of these, and hence also to testwhether any given identity holds in the classes of left, right and/or two-sided adequate semigroups.
Název v anglickém jazyce
The word problem for free adequate semigroups
Popis výsledku anglicky
We study the complexity of computation in finitely generated free left, right and two-sided adequate semigroups and monoids. We present polynomial time algorithms to solve the word problem and compute normal forms in each of these, and hence also to testwhether any given identity holds in the classes of left, right and/or two-sided adequate semigroups.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Projekt
<a href="/cs/project/GA13-01832S" target="_blank" >GA13-01832S: Obecná algebra a její souvislost s informatikou</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)