EQUATIONS IN A FREE GROUP

An algorithm for recognizing the solvability of arbitrary equations in a free group is constructed. Bibliography: 11 titles.