Mikhail R. Starchak

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Functional Programming

First Order Logic

Constraint Query Languages

Quantifier Elimination

Top Venues

Publications

Mikhail R. Starchak
Existential Definability of Unary Predicates in Büchi Arithmetic. CiE (2024)
Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak
Integer Linear-Exponential Programming in NP by Quantifier Elimination. ICALP (2024)
Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak
Integer Linear-Exponential Programming in NP by Quantifier Elimination. CoRR (2024)
Mikhail R. Starchak
On the Existential Arithmetics with Addition and Bitwise Minimum. FoSSaCS (2023)
Mikhail R. Starchak
Positive Existential Definability with Unit, Addition and Coprimeness. ISSAC (2021)