Об аксиоматизируемости наследственных классов моделей конечных и бесконечных языков и разрешимости их универсальных теорий Conference Abstracts
| Conference |
Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан. 16-22 Apr 2024 , Алматы |
||
|---|---|---|---|
| Source | Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан Compilation, ИМММ МНВО РК. Алма-Ата.2024. 263 c. |
||
| Output data | Year: 2024, Pages: 221–222 Pages count : 2 | ||
| Tags | алгебраическая система, наследственный класс, универсальная теория, универсальная аксиоматизируемость, разрешимость | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН». | FWNF-2022-0003 |
Cite:
Ильев А.В.
Об аксиоматизируемости наследственных классов моделей конечных и бесконечных языков и разрешимости их универсальных теорий
In compilation Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан. – ИМММ МНВО РК., 2024. – C.221–222.
Об аксиоматизируемости наследственных классов моделей конечных и бесконечных языков и разрешимости их универсальных теорий
In compilation Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан. – ИМММ МНВО РК., 2024. – C.221–222.
Dates:
| Published print: | Oct 8, 2024 |
Identifiers:
No identifiers
Citing:
Пока нет цитирований