3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group

DOI10.1515/9783110719710-003OpenAlexW3162379774MaRDI QIDQ5011031

O. G. Kharlampovich, Alexei G. Myasnikov

Publication date: 26 August 2021

Published in: Groups and Model Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.1900

Mathematics Subject Classification ID

Model theory (03Cxx)

This page was built for publication: 3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group