1 - 10 out of 18Page size: 10
  1. 2025

  2. One-Parametric Presburger Arithmetic Has Quantifier Elimination

    Mansutti, A. & Starchak, M. R., 2025.

    Research output: Contribution to conference › Paper › peer-review

  3. Quantifier Elimination for Regular Integer Linear-Exponential Programming

    Starchak, M. R., 2025, p. 44-56. 13 p.

    Research output: Contribution to conference › Paper › peer-review

  4. 2024

  5. Integer Linear-Exponential Programming in NP by Quantifier Elimination

    Старчак, М. Р., Chistikov, D. & Mansutti, A., 1 Jul 2024, In 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 p. 132. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 297).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  6. Existential Definability of Unary Predicates in Büchi Arithmetic

    Старчак, М. Р., 2024, Twenty Years of Theoretical and Practical Synergies: CiE 2024. Levy Patey, L., Pimentel, E., Galeotti, L. & Manea, F. (eds.). Springer Nature, p. 218–232 15 p. (Lecture Notes in Computer Science; vol. 14773).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  7. 2023

  8. Existential Definability with Addition and k-Regular Predicates

    Старчак, М. Р., Sep 2023. 4 p.

    Research output: Contribution to conference › Abstract

  9. On the Existential Arithmetics with Addition and Bitwise Minimum

    Старчак, М. Р., 21 Apr 2023, Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Kupferman, O. & Sobocinski, P. (eds.). Springer Nature, p. 176–195 20 p. (Lecture Notes in Computer Science; vol. 13992).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  10. 2022

  11. Доказательство теоремы Бельтюкова — Липшица квазиэлиминацией кванторов. II. Основное сведение

    Старчак, М. Р., 4 Jan 2022, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 66, 4, p. 608-619

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

  12. 2021

  13. A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction

    Старчак, М. Р., 20 Dec 2021, In: Vestnik St. Petersburg University: Mathematics. 54, 4, p. 372–380 9 p.

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

  14. Quantifier elimination approach to existential linear arithmetic with GCD

    Старчак, М. Р., Oct 2021. 4 p.

    Research output: Contribution to conference › Abstract

  15. Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма

    Старчак, М. Р., 26 Sep 2021, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 8(66), 3, p. 455-466

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

Previous 1 2 Next

ID: 223409