Золотов Александр Сергеевич

Публикации в базе данных Math-Net.Ru

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