Unification in commutative semigroups

DOI10.1006/JABR.1997.7212zbMath0898.20037OpenAlexW2076117469MaRDI QIDQ1383954

Andrzej P. Kisielewicz

Publication date: 26 August 1998

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d5971bdcc636f7c5655dafa8968ccf5cbd1613db

zbMATH Keywords

automated theorem provingvarieties of commutative semigroupsunification typesfinite sets of equations

Mathematics Subject Classification ID

Commutative semigroups (20M14) Free semigroups, generators and relations, word problems (20M05)

Related Items (3)

Definability in the lattice of equational theories of commutative semigroups ⋮ Permutability class of a semigroup ⋮ Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unification in Boolean rings and Abelian groups
• Unification in commutative rings is not finitary
• Unification in varieties of idempotent semigroups
• Unification in abelian semigroups
• Unification in commutative idempotent monoids
• Unification theory
• Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings
• Semi-unification of two terms in Abelian groups
• Unification in partially commutative semigroups
• Computers and universal algebra: Some directions
• Free groups and unification in \({\mathfrak A}_ m{\mathfrak A}_ 2\)
• The theory of well-quasi-ordering: a frequently discovered concept
• EQUATIONS IN A FREE GROUP
• The undecidability of the D_A-unification problem
• Unification in primal algebras, their powers and their varieties
• THE SOLVABILITY PROBLEM FOR EQUATIONS IN ONE UNKNOWN IN NILPOTENT GROUPS
• The Undecidability of the Unification Problem for Nilpotent Groups of Class ⩾ 5
• Varieties of Commutative Semigroups
• Unification in Varieties of Groups: Nilpotent Varieties
• Complexity of Makanin's algorithm
• Equation-Solving in Free Nilpotent groups Class 2 and 3
• Unification for nilpotent groups of class 2
• Unification in varieties of completely regular semigroups

This page was built for publication: Unification in commutative semigroups