Mikhail R. Starchak

According to our database, Mikhail R. Starchak authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

One-Parametric Presburger Arithmetic Has Quantifier Elimination.

Alessio Mansutti, Mikhail R. Starchak

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

2024

Integer Linear-Exponential Programming in NP by Quantifier Elimination.

Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

Existential Definability of Unary Predicates in Büchi Arithmetic.

Mikhail R. Starchak

Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2023

On the Existential Arithmetics with Addition and Bitwise Minimum.

Mikhail R. Starchak

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2021

Positive Existential Definability with Unit, Addition and Coprimeness.

Mikhail R. Starchak

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021