Shows that for finite systems of quadratic exponential equations decidability passes, under certain hypotheses, from the factor groups to free products and one-relator products.
Shows that for finite systems of quadratic exponential equations decidability passes, under certain hypotheses, from the factor groups to free product...