The computability via definability in semantic modeling - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Язык

Английский

Тип доклада

Пленарный

Конференция

Logical Pespectives 2018
14-18 мая 2018 , Международный математический институт им. Леонарда Эйлера, Песочная наб., 10, г. Санкт-Петербург

Авторы

Гончаров Сергей Савостьянович ¹

Организации

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

Goncharov S.S.
The computability via definability in semantic modeling
Logical Pespectives 2018 14-18 May 2018