Unification in partially commutative semigroups

DOI10.1007/BF00881887MaRDI QIDQ1337561zbMATH OpenOpenAlexFDO

Authors Edmund K. Burke

Publication date 10 November 1994

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

Full work available at URL https://doi.org/10.1007/bf00881887

zbMATH Keywords

unification algorithmspartially commutative semigroups

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Semigroups in automata theory, linguistics, etc. (20M35)

Recommendations

• Unification in commutative semigroups
• scientific article; zbMATH DE number 1522669
• Unification types of completely regular semigroups
• Unification for nilpotent groups of class 2
• Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups

Cites work

• scientific article; zbMATH DE number 4097637 (Why is no real title available?)
• scientific article; zbMATH DE number 3750146 (Why is no real title available?)
• scientific article; zbMATH DE number 44213 (Why is no real title available?)
• scientific article; zbMATH DE number 3590511 (Why is no real title available?)
• scientific article; zbMATH DE number 3407957 (Why is no real title available?)
• A Unification Algorithm for Associative-Commutative Functions
• Equation-Solving in Free Nilpotent groups Class 2 and 3
• Minimal and complete word unification
• Solving word equations
• 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 idempotent semigroups is of unification type zero
• Unification for nilpotent groups of class 2
• Unification in abelian semigroups
• Unification theory
• Unification under associativity and idempotence is of type nullary
• Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings

Cited in

(4)

• Unification types of completely regular semigroups
• Unification for nilpotent groups of class 2
• Unification in commutative semigroups
• Unification in commutative idempotent monoids

This page was built for publication: Unification in partially commutative semigroups

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