Standard

A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction. / Старчак, Михаил Романович.

In: Vestnik St. Petersburg University: Mathematics, Vol. 54, No. 4, 20.12.2021, p. 372–380.

Research output: Contribution to journal › Article › peer-review

Harvard

Старчак, МР 2021, 'A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction', Vestnik St. Petersburg University: Mathematics, vol. 54, no. 4, pp. 372–380. https://doi.org/10.1134/S106345412104018X

APA

Старчак, М. Р. (2021). A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction. Vestnik St. Petersburg University: Mathematics, 54(4), 372–380. https://doi.org/10.1134/S106345412104018X

Vancouver

Старчак МР. A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction. Vestnik St. Petersburg University: Mathematics. 2021 Dec 20;54(4):372–380. https://doi.org/10.1134/S106345412104018X

Author

Старчак, Михаил Романович. / A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction. In: Vestnik St. Petersburg University: Mathematics. 2021 ; Vol. 54, No. 4. pp. 372–380.

BibTeX

@article{37c5fb44bb3146b0a7901e4568f0c863,
title = "A Proof of Bel{\textquoteright}tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction",
author = "Старчак, {Михаил Романович}",
year = "2021",
month = dec,
day = "20",
doi = "10.1134/S106345412104018X",
language = "English",
volume = "54",
pages = "372–380",
journal = "Vestnik St. Petersburg University: Mathematics",
issn = "1063-4541",
publisher = "Pleiades Publishing",
number = "4",

}

RIS

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