Unification in commutative semigroups

DOI10.1006/JABR.1997.7212MaRDI QIDQ1383954zbMATH OpenOpenAlexFDO

Authors Andrzej 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)

Recommendations

• scientific article; zbMATH DE number 1522669
• Unification in partially commutative semigroups
• Unification in commutative theories

Cites work

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

Cited in

(12)

• Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups
• Unification in partially commutative semigroups
• Unification types of completely regular semigroups
• Semi-unification of two terms in Abelian groups
• scientific article; zbMATH DE number 4158692 (Why is no real title available?)
• Permutability class of a semigroup
• Definability in the lattice of equational theories of commutative semigroups
• On uniform acts over semigroups
• Unification in varieties of idempotent semigroups
• Unification in commutative idempotent monoids
• Commutative idempotent semigroups at the service of universal algebraic geometry.
• scientific article; zbMATH DE number 1522669 (Why is no real title available?)

This page was built for publication: Unification in commutative semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1383954)