Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F11%3A00050151" target="_blank" >RIV/00216224:14310/11:00050151 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-642-24897-9_10" target="_blank" >http://dx.doi.org/10.1007/978-3-642-24897-9_10</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-642-24897-9_10" target="_blank" >10.1007/978-3-642-24897-9_10</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

Popis výsledku anglicky

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

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2011

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ů

Název statě ve sborníku

Algebraic Foundations in Computer Science

ISBN

978-3-642-24896-2

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

14

Strana od-do

214-227

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Thessaloniki

Datum konání akce

1. 1. 2011

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—