Об аксиоматизируемости гиперграфов и разрешимости их универсальных теорий Conference attendances
Language | Русский | ||
---|---|---|---|
Participant type | Секционный | ||
URL | http://omskconf23.oscsbras.ru/presentations/Il'ev_slides.pdf | ||
Conference |
Комбинаторно-вычислительные методы алгебры и логики 26-30 Sep 2023 , Омск |
||
Authors |
|
||
Affiliations |
|
Cite:
Ильев А.В.
Об аксиоматизируемости гиперграфов и разрешимости их универсальных теорий
Комбинаторно-вычислительные методы алгебры и логики 26-30 сент. 2023
Об аксиоматизируемости гиперграфов и разрешимости их универсальных теорий
Комбинаторно-вычислительные методы алгебры и логики 26-30 сент. 2023