Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups

DOI10.1007/978-3-642-24897-9_10zbMath1349.20046MaRDI QIDQ3098040

Libor Polák, Ondřej Klíma

Publication date: 11 November 2011

Published in: Algebraic Foundations in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24897-9_10

zbMATH Keywords

unification; equations; varieties of unary semigroups; varieties of semigroups; identity problems

Mathematics Subject Classification ID

20M07: Varieties and pseudovarieties of semigroups

Cites Work

• Dichotomies in the complexity of solving systems of equations over finite semigroups
• On the word problem for free completely regular semigroups
• Word problems for free objects in certain varieties of completely regular semigroups
• A Noetherian and confluent rewrite system for idempotent semigroups
• Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings
• Unification in commutative semigroups
• Unification types of completely regular semigroups
• Free Inverse Semigroups
• Unification in Varieties of Groups: Nilpotent Varieties
• Equation-Solving in Free Nilpotent groups Class 2 and 3
• Unification for nilpotent groups of class 2
• ALGORITHMIC PROBLEMS IN VARIETIES
• EQUATIONS IN FREE INVERSE MONOIDS
• Free Inverse Semigroups
• A solution of the word problem for free \(^*\)-regular semigroups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item