Unification in varieties of completely regular semigroups
From MaRDI portal
Publication:6114512
DOI10.1007/3-540-55124-7_9zbMath1518.68152MaRDI QIDQ6114512
Publication date: 14 August 2023
Published in: Word Equations and Related Topics (Search for Journal in Brave)
Varieties and pseudovarieties of semigroups (20M07) Regular semigroups (20M17) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)
Related Items (2)
Unification in commutative semigroups ⋮ The unification type of the Pythagorean equation in varieties of nilpotent rings
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unification under associativity and idempotence is of type nullary
- The theory of idempotent semigroups is of unification type zero
- Unification in commutative theories
- Free completely regular semigroups. II: Word problem.
- On varieties of completely regular semigroups. I
- Unification in varieties of idempotent semigroups
- A note on unification type zero
- Unification theory
- On the varieties of completely regular semigroups
- The unification hierarchy is undecidable
- Varieties of orthodox bands of groups
- Automated deduction by theory resolution
- The lattice of equational classes of idempotent semigroups
- Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
- A theory of complete logic programs with equality
- Completion of a Set of Rules Modulo a Set of Equations
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- The Word Problem for Orthogroups
- Complete Sets of Reductions for Some Equational Theories
- The Structure of Completely Regular Semigroups
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
- A Human Oriented Logic for Automatic Theorem-Proving
- Characterizations of unification type zero
- Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification
- All Varieties of Bands I
- The free completely regular semigroup on a set
This page was built for publication: Unification in varieties of completely regular semigroups
