National Repository of Grey Literature 1 records found  Search took 0.01 seconds. 
Varieties determined by short identities
Koula, Jiří ; Kepka, Tomáš (referee) ; Ježek, Jaroslav (advisor)
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.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.