Ресурсы из категории "510.62 Логические и логико-предметные языки"

Группировка по: Авторы | Тип объекта
Перейти к: П | С
Количество объектов на этом уровне: 3.

П

Петров, А.Е. (2010) Разрешимость теорий обобщений автоматных систем. Вестник ТвГУ. Серия: Прикладная математика (17). С. 21-40. ISSN 1995-0136

С

Секорин, В.С. (2022) Моделирование оператора частичной фиксированной точки. Вестник ТвГУ. Серия: Прикладная математика (2). С. 14-26. ISSN 1995-0136

Секорин, В.С. (2020) Об эквивалентности двух семантик PFP-оператора. Вестник ТвГУ. Серия: Прикладная математика (3). С. 41-49. ISSN 1995-0136

Этот список был создан Sat Dec 21 17:09:05 2024 MSK.