|
|
|
|
ЛИТЕРАТУРА
|
|
| |
| 1. |
П. Е. Алаев, В. Л. Селиванов, “Поля алгебраических чисел, вычислимые за полиномиальное время. I”, Алгебра и логика, 58:6 (2019), 673–705   |
| 2. |
P. Alaev, V. Selivanov, “Polynomial-time presentations of algebraic number fields”, Sailing routes in the world of computation, 14th conf. comput. Europe CiE 2018 (Kiel, Germany, July 30 – August 3, 2018), Lect. Notes Comput. Sci., 10936, eds. F. Manea et al., Springer, Cham, 2018, 20–29   |
| 3. |
П. Е. Алаев, В. Л. Селиванов, “Полиномиальная вычислимость полей алгебраических чисел”, Докл. РАН, 481:4 (2018), 355–357 |
| 4. |
П. Е. Алаев, “Существование и единственность структур, вычислимых за полиномиальное время”, Алгебра и логика, 55:1 (2016), 106–112 |
| 5. |
П. Е. Алаев, “Структуры, вычислимые за полиномиальное время. I”, Алгебра и логика, 55:6 (2016), 647–669 |
| 6. |
D. Cenzer, J. B. Remmel, “Complexity theoretic model theory and algebra”, Handbook of recursive mathematics, v. 1, Stud. Logic Found. Math., 138, Recursive model theory, eds. Yu. L. Ershov et al., Elsevier,, Amsterdam, 1998, 381–513 |
| 7. |
А. И. Мальцев, “Конструктивные алгебры. 1”, УМН, 16:3 (1961), 3–60 |
| 8. |
С. С. Гончаров, Ю. Л. Ершов, Конструктивные модели, Сибирская школа алгебры и логики, Научная книга, Новосибирск, 1999 |
| 9. |
M. Coste, M. F. Roy, “Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets”, J. Symb. Comput., 5:1/2 (1988), 121–129 |
| 10. |
Ю. Л. Ершов, Теория нумераций, Наука, М., 1977 |
| 11. |
П. Е. Алаев, “Полиномиально вычислимые структуры с конечным числом порождающих”, Алгебра и логика, 59:3 (2020), 385–394 |
| 12. |
П. Е. Алаев, “Конечно порождённые структуры, вычислимые за полиномиальное время”, Сиб. матем. ж. (в печати) |
| 13. |
A. Blass, Yu. Gurevich, “Equivalence relations, invariants, and normal forms”, SIAM J. Comput., 13:4 (1984), 682–689 |
| 14. |
Ch. Glasser, Ch. Reitwiessner, V. Selivanov, “The shrinking property for NP and coNP”, Theor. Comput. Sci., 412:8–10 (2011), 853–864 |
| 15. |
A. Blass, Yu. Gurevich, “Equivalence relations, invariants, and normal forms. II”, Logic and machines: decision problems and complexity, Proc. Symp. (Münster/Ger. 1983), Lect. Notes Comput. Sci., 171, 1984, 24–42 |
