Unification types of completely regular semigroups

DOI10.1023/A:1021695118634zbMath1021.20040OpenAlexW1522216932MaRDI QIDQ1869618

Grigory Mashevitzky

Publication date: 28 April 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021695118634

zbMATH Keywords

completely regular semigroupsvarieties of algebrasrelatively free algebrasunification theoryunification types

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Regular semigroups (20M17) Discrete mathematics in relation to computer science (68R99)

Related Items (1)

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

This page was built for publication: Unification types of completely regular semigroups