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

Autor:	Alexei Myasnikov, Olga Kharlampovich
Rok vydání:	2021
Předmět:	Combinatorics Free group Quantifier elimination Boolean combination Mathematics
Zdroj:	Groups and Model Theory
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::57f24164b2fcc96bfe9a622edcdf0996 https://doi.org/10.1515/9783110719710-003 Zobrazit plný text záznamu