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