Об аксиоматизируемости гиперграфов и разрешимости их универсальных теорий 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