Semantic programming: method of Delta0^p-enrichments and polynomial analogue of the Gandy fixed point theorem Доклады на конференциях
| Язык | Русский | ||
|---|---|---|---|
| Тип доклада | Секционный | ||
| Конференция |
Sixteenth Asian Logic Conference 17-21 июн. 2019 , Nazarbayev University, Nur-Sultan |
||
| Авторы |
|
||
| Организации |
|
Библиографическая ссылка:
Нечесов А.В.
Semantic programming: method of Delta0^p-enrichments and polynomial analogue of the Gandy fixed point theorem
Sixteenth Asian Logic Conference 17-21 июн. 2019
Semantic programming: method of Delta0^p-enrichments and polynomial analogue of the Gandy fixed point theorem
Sixteenth Asian Logic Conference 17-21 июн. 2019