On equations in free semigroups and groups
From MaRDI portal
Publication:1228478
DOI10.1007/BF01149791zbMath0334.02024OpenAlexW2064931467MaRDI QIDQ1228478
Publication date: 1975
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01149791
Free semigroups, generators and relations, word problems (20M05) Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40) Applications of computability and recursion theory (03D80) Metamathematical considerations in group theory (20A10)
Related Items
Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint ⋮ Unnamed Item ⋮ On equations in free monoids and semigroups with restrictions on solutions ⋮ Solving word equations modulo partial commutations ⋮ What Is Essential Unification? ⋮ ОБ УРАВНЕНИЯХ И НЕРАВЕНСТВАХ В СЛОВАХ И ДЛИНАХ