Semantic programming: method of Delta0^p-enrichments and polynomial analogue of the Gandy fixed point theorem Conference attendances
| Language | Русский | ||
|---|---|---|---|
| Participant type | Секционный | ||
| Conference |
Sixteenth Asian Logic Conference 17-21 Jun 2019 , Nazarbayev University, Nur-Sultan |
||
| Authors |
|
||
| Affiliations |
|
Cite:
Нечесов А.В.
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