Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction. / Старчак, Михаил Романович.
в: Vestnik St. Petersburg University: Mathematics, Том 54, № 4, 20.12.2021, стр. 372–380.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction
AU - Старчак, Михаил Романович
PY - 2021/12/20
Y1 - 2021/12/20
U2 - 10.1134/S106345412104018X
DO - 10.1134/S106345412104018X
M3 - Article
VL - 54
SP - 372
EP - 380
JO - Vestnik St. Petersburg University: Mathematics
JF - Vestnik St. Petersburg University: Mathematics
SN - 1063-4541
IS - 4
ER -
ID: 91388312