Об аксиоматизируемости наследственных классов моделей конечных и бесконечных языков и разрешимости их универсальных теорий - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Об аксиоматизируемости наследственных классов моделей конечных и бесконечных языков и разрешимости их универсальных теорий Доклады на конференциях

Язык

Русский

Тип доклада

Секционный

Конференция

Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан.
16-22 апр. 2024 , Алматы

Авторы

Ильев А.В. ¹

Организации

1	Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН».

Ильев А.В.
Об аксиоматизируемости наследственных классов моделей конечных и бесконечных языков и разрешимости их универсальных теорий
Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан. 16-22 апр. 2024