|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
| 1. |
М. Р. Старчак, “Доказательство теоремы Бельтюкова - Липшица квазиэлиминацией кванторов. II. Основное сведение”, Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, 8:4 (2021), 608–619  ; M. R. Starchak, “A proof of Bel'tyukov - Lipshitz theorem by quasi-quantifier elimination. II. The main reduction”, Vestn. St. Petersbg. Univ., Math., 8:4 (2021), 372–380 |
| 2. |
М. Р. Старчак, “Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма”, Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, 8:3 (2021), 455–466 ; M. R. Starchak, “A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. I. Definitions and GCD-lemma”, Vestn. St. Petersbg. Univ., Math., 8:4 (2021), 264–272 |
1
|
|
