Sciact
  • EN
  • RU

Об аксиоматизируемости и разрешимости универсальных теорий наследственных классов матроидов Conference attendances

Language Русский
Participant type Секционный
Conference XII Международная IEEE научно-техническая конференция "Динамика систем, механизмов и машин"
13-15 Nov 2018 , Омск
Authors Ilev Artem Viktorovich 1 , Ilʹev Viktor Petrovich 2
Affiliations
1 Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН».
2 Dostoevsky Omsk State University
Cite: Ильев А.В. , Ильев В.П.
Об аксиоматизируемости и разрешимости универсальных теорий наследственных классов матроидов
XII Международная IEEE научно-техническая конференция "Динамика систем, механизмов и машин" 13-15 нояб. 2018