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

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

Язык

Русский

Тип доклада

Секционный

Конференция

XII Международная IEEE научно-техническая конференция "Динамика систем, механизмов и машин"
13-15 нояб. 2018 , Омск

Авторы

Ильев Артем Викторович ¹ , Ильев Виктор Петрович ²

Организации

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

Ильев А.В. , Ильев В.П.
Об аксиоматизируемости и разрешимости универсальных теорий наследственных классов матроидов
XII Международная IEEE научно-техническая конференция "Динамика систем, механизмов и машин" 13-15 нояб. 2018