|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2016 |
| 1. |
А. С. Золотов, “О нижней границе временной сложности проблемы разрешимости теории целых чисел с функцией следования и оператором наименьшей фиксированной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2016, № 3, 97–109   |
1
|
| 2. |
А. С. Золотов, “О применении конечных автоматов к исследованию разрешимости теории с оператором фиксированной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2016, № 1, 103–115 |
|
2013 |
| 3. |
А. С. Золотов, “Применение оператора транзитивного замыкания для формул с одной функцией следования и предикатами делимости”, Вестник ТвГУ. Серия: Прикладная математика, 2013, № 1, 101–117 |
2
|
|
Обратная связь: