Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Ordered fields and Grzegorczyk’s hierarchy. / Селиванов, Виктор Львович; Чиликов, Леонид.
Computer Algebra in Scientific Computing. Springer Nature, 2025. стр. 47-65 (Lecture Notes in Computer Science; Том 16235).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
TY - GEN
T1 - Ordered fields and Grzegorczyk’s hierarchy
AU - Селиванов, Виктор Львович
AU - Чиликов, Леонид
PY - 2025
Y1 - 2025
U2 - 10.1007/978-3-032-09645-6_3
DO - 10.1007/978-3-032-09645-6_3
M3 - Conference contribution
T3 - Lecture Notes in Computer Science
SP - 47
EP - 65
BT - Computer Algebra in Scientific Computing
PB - Springer Nature
T2 - Computer Algebra in Scientific Computing, 27th International Workshop, CASC 2025
Y2 - 24 November 2025 through 28 November 2025
ER -
ID: 146240345