Follow
Mikhail R. Starchak
Mikhail R. Starchak
St. Petersburg University
Verified email at spbu.ru - Homepage
Title
Cited by
Cited by
Year
A proof of Bel’tyukov–Lipshitz theorem by quasi-quantifier elimination. I. Definitions and GCD-lemma
MR Starchak
Vestnik St. Petersburg University, Mathematics 54 (3), 264-272, 2021
62021
A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction
MR Starchak
Vestnik St. Petersburg University, Mathematics 54 (4), 372-380, 2021
32021
Positive Existential Definability with Unit, Addition and Coprimeness
MR Starchak
Proceedings of the 2021 on International Symposium on Symbolic and Algebraic …, 2021
32021
On the Existential Arithmetics with Addition and Bitwise Minimum
MR Starchak
Foundations of Software Science and Computation Structures: 26th …, 2023
12023
Quasi-Quantifier Elimination Algorithms and Definability Problems in Arithmetics with Divisibility
MR Starchak
St. Petersburg University, 2022
2022
Quantifier Elimination Approach to Existential Linear Arithmetic with GCD
MR Starchak
2021
The system can't perform the operation now. Try again later.
Articles 1–6