1. 2025
  2. 2024
  3. Quantifier Elimination for Existential Büchi Arithmetic

    Михаил Романович Старчак (Speaker)

    11 Aug 2024

    Activity: Conference talk typesOral presentation

  4. 2023
  5. Existential Definability with Addition and k-Regular Predicates

    Михаил Романович Старчак (Speaker)

    25 Sep 2023

    Activity: Conference talk typesOral presentation

  6. On the Existential Arithmetics with Addition and Bitwise Minimum

    Михаил Романович Старчак (Speaker)

    25 Apr 2023

    Activity: Conference talk typesOral presentation

  7. 2021

ID: 223409