Unification types of completely regular semigroups
type: Item
instance of: scholarly article
title: Unification types of completely regular semigroups
zbMATH Open document ID: 1021.20040
DOI: 10.1023/A:1021695118634
published in: Journal of Automated Reasoning
publication date: 2003-04-28T00:00:00Z
review text: Unification theory is concerned with solving equations in relatively free algebraic structures and has become an important topic in theoretical computer science. The paper characterizes the varieties of completely regular semigroups which contain all semilattices and are of unitary, finitary and infinitary unification type, respectively.
reviewed by: K. Auinger
Mathematics Subject Classification ID: 20M05
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 20M17
Mathematics Subject Classification ID: 68R99
zbMATH DE Number: 1902328
zbMATH Keywords: completely regular semigroups
zbMATH Keywords: varieties of algebras
zbMATH Keywords: relatively free algebras
zbMATH Keywords: unification theory
zbMATH Keywords: unification types
author: Grigory Mashevitzky
MaRDI profile type: Publication
full work available at URL: a:1021695118634
OpenAlex ID: W1522216932
Recommended article: Unification in varieties of completely regular semigroups
Recommended article: Q4510931
Recommended article: Unification in commutative semigroups
Recommended article: Q3689372
Recommended article: Unification in partially commutative semigroups
Recommended article: Q3705618
Recommended article: Unification in varieties of idempotent semigroups
Recommended article: Q4484922
Recommended article: Q3974010
Recommended article: Q4789520
description: scientific article; zbMATH DE number 1902328