Результаты по теории моделей о богатых типах в многосортных многозначных системах и коллективных кластеризациях формул и типов в логических исчислениях - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Результаты по теории моделей о богатых типах в многосортных многозначных системах и коллективных кластеризациях формул и типов в логических исчислениях Доклады на конференциях

Язык

Русский

Тип доклада

Секционный

Url доклада

http://www.math.nsc.ru/conference/mmw/2017/Book_Abstract.pdf

Конференция

International Conference "Mathematics in the Modern World" dedicated to the 60th anniversary of the foundation of the Sobolev Institute of Mathematics
14-19 авг. 2017 , Новосибирск ИМ СО РАН

Авторы

Викентьев А.А. ¹

Организации

1	Институт математики им. С.Л. Соболева СО РАН

Викентьев А.А.
Результаты по теории моделей о богатых типах в многосортных многозначных системах и коллективных кластеризациях формул и типов в логических исчислениях
International Conference "Mathematics in the Modern World" dedicated to the 60th anniversary of the foundation of the Sobolev Institute of Mathematics 14-19 авг. 2017