Unification types of completely regular semigroups
From MaRDI portal
Publication:1869618
DOI10.1023/A:1021695118634zbMath1021.20040MaRDI QIDQ1869618
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
completely regular semigroups; varieties of algebras; relatively free algebras; unification theory; unification types
20M07: Varieties and pseudovarieties of semigroups
20M05: Free semigroups, generators and relations, word problems
20M17: Regular semigroups
68R99: Discrete mathematics in relation to computer science
Related Items