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

DOI10.1007/978-3-642-24897-9_10zbMath1349.20046OpenAlexW141872175MaRDI 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

unificationequationsvarieties of unary semigroupsvarieties of semigroupsidentity problems

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups