Ресурсы из категории "510.665 Проблемы разрешения"

А

Авхимович, Н.В. (2022) О разрешимости теории конечных подмножеств для дискретного линейного порядка. Вестник ТвГУ. Серия: Прикладная математика (3). С. 91-104. ISSN 1995-0136

Д

Дудаков, С.М. (2020) Об определимости в алгебре конечных языков с конкатенацией множества односимвольных языков. Вестник ТвГУ. Серия: Прикладная математика (4). С. 5-13. ISSN 1995-0136

Р

Рыбаков, М.Н. (2023) Деревья как средство моделирования неразрешимых проблем. Вестник ТвГУ. Серия: Прикладная математика (1). С. 5-23. ISSN 1995-0136

С

Снятков, А.С. (2007) Разрешимость теории T_c=\Th(\omega, 0, 1, <, +, c^x, \C^x). Вестник ТвГУ. Серия: Прикладная математика (1[4]). С. 113-121. ISSN 1995-0136

Снятков, А.С. (2008) Разрешимость теории T_f=\Th(\omega, 0, 1, <, +, f(x), F(x)). Вестник ТвГУ. Серия: Прикладная математика (2[9]). С. 39-51. ISSN 1995-0136