Author:
Kharlampovich Olga,López Laura
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference12 articles.
1. Cooper, S.B.: Computability Theory. Chapman and Hall/CRC, Boca Raton (2004)
2. Kharlampovich, O., Miasnikov, A.: Tarski-type problems for free associative algebras. J. Algebra 500, 589–643 (2017)
3. Kharlampovich, O., Myasnikov, A.: Elementary theory of free non-abelian groups. J. Algebra 302(2), 451–552 (2006)
4. Kharlampovich, O., Myasnikov, A.: Definable sets in a hyperbolic group. Int. J. Algebra Comput. 23(1), 91–110 (2013)
5. Matiyasevich, Y.: Diophantine representation of enumerable predicates. Math. Not. Acad. Sci. USSR 12(1), 501–504 (1972)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献