Variety určené krátkými identitami
This paper deals with searching for free algebras over the countable infinite set of variables in varieties determined by identity of form x = t, where t is term of length 5. Notion of rewriting system is introduced and used for it. The paper is based on article [3] and extends its results.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | Czech |
| Published: |
2007
|
| Online Access: | http://www.nusl.cz/ntk/nusl-289194 |
| id |
ndltd-nusl.cz-oai-invenio.nusl.cz-289194 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-nusl.cz-oai-invenio.nusl.cz-2891942017-06-27T04:41:32Z Variety určené krátkými identitami Varieties determined by short identities Kepka, Tomáš Koula, Jiří Ježek, Jaroslav This paper deals with searching for free algebras over the countable infinite set of variables in varieties determined by identity of form x = t, where t is term of length 5. Notion of rewriting system is introduced and used for it. The paper is based on article [3] and extends its results. 2007 info:eu-repo/semantics/masterThesis http://www.nusl.cz/ntk/nusl-289194 cze info:eu-repo/semantics/restrictedAccess |
| collection |
NDLTD |
| language |
Czech |
| format |
Dissertation |
| sources |
NDLTD |
| description |
This paper deals with searching for free algebras over the countable infinite set of variables in varieties determined by identity of form x = t, where t is term of length 5. Notion of rewriting system is introduced and used for it. The paper is based on article [3] and extends its results. |
| author2 |
Kepka, Tomáš |
| author_facet |
Kepka, Tomáš Koula, Jiří |
| author |
Koula, Jiří |
| spellingShingle |
Koula, Jiří Variety určené krátkými identitami |
| author_sort |
Koula, Jiří |
| title |
Variety určené krátkými identitami |
| title_short |
Variety určené krátkými identitami |
| title_full |
Variety určené krátkými identitami |
| title_fullStr |
Variety určené krátkými identitami |
| title_full_unstemmed |
Variety určené krátkými identitami |
| title_sort |
variety určené krátkými identitami |
| publishDate |
2007 |
| url |
http://www.nusl.cz/ntk/nusl-289194 |
| work_keys_str_mv |
AT koulajiri varietyurcenekratkymiidentitami AT koulajiri varietiesdeterminedbyshortidentities |
| _version_ |
1718469727334957056 |