1. 2025
  2. Büchi Arithmetic: Finite Automata and Quantifier Elimination

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

    1 фев 2025

    Деятельность: Выступление на научной конференциивыступление с приглашенным докладом

  3. 2024
  4. Элиминация кванторов для экзистенциальной арифметики Бюхи

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

    11 авг 2024

    Деятельность: Выступление на научной конференциивыступление с устным докладом

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

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

    10 июл 2024

    Деятельность: Выступление на научной конференциивыступление с устным докладом

  6. Existential definability of unary predicates in Büchi arithmetic

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

    9 июл 2024

    Деятельность: Выступление на научной конференциивыступление с устным докладом

  7. 2023
  8. Existential Definability with Addition and k-Regular Predicates

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

    25 сен 2023

    Деятельность: Выступление на научной конференциивыступление с устным докладом

  9. On the Existential Arithmetics with Addition and Bitwise Minimum

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

    25 апр 2023

    Деятельность: Выступление на научной конференциивыступление с устным докладом

  10. 2021
  11. Quantifier Elimination Approach to Existential Linear Arithmetic with GCD

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

    25 окт 2021

    Деятельность: Выступление на научной конференциивыступление с устным докладом

  12. Positive existential definability with unit, addition and coprimeness

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

    22 июл 2021

    Деятельность: Выступление на научной конференциивыступление с устным докладом

ID: 223409