Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems

Mathematical Notes · 1986 · 85 citations · 0 references