On algebras of binary formulas for partially ordered theories - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

On algebras of binary formulas for partially ordered theories Доклады на конференциях

Язык

Английский

Тип доклада

Устный

Конференция

2021 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ‘21
19-24 июл. 2021 , Познань

Авторы

Емельянов Д.Ю. ¹ , Кулпешов Б.Ш. ^1,2 , Судоплатов Сергей Владимирович ^1,3,4

Организации

1	Новосибирский государственный технический университет
2	Казахстанско-Британский технический университет
3	Институт математики им. С.Л. Соболева СО РАН
4	Новосибирский государственный университет

Емельянов Д.Ю. , Кулпешов Б.Ш. , Sudoplatov S.V.
On algebras of binary formulas for partially ordered theories
2021 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ‘21 19-24 Jul 2021