1 - 8 out of 8Page size: 10
Sort by: Start date
  1. 2025

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

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

    1 Feb 2025

    Activity: Conference talk types › Invited talk

  3. 2024

  4. Quantifier Elimination for Existential Büchi Arithmetic

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

    11 Aug 2024

    Activity: Conference talk types › Oral presentation

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

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

    10 Jul 2024

    Activity: Conference talk types › Oral presentation

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

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

    9 Jul 2024

    Activity: Conference talk types › Oral presentation

  7. 2023

  8. Existential Definability with Addition and k-Regular Predicates

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

    25 Sep 2023

    Activity: Conference talk types › Oral presentation

  9. On the Existential Arithmetics with Addition and Bitwise Minimum

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

    25 Apr 2023

    Activity: Conference talk types › Oral presentation

  10. 2021

  11. Quantifier Elimination Approach to Existential Linear Arithmetic with GCD

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

    25 Oct 2021

    Activity: Conference talk types › Oral presentation

  12. Positive existential definability with unit, addition and coprimeness

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

    22 Jul 2021

    Activity: Conference talk types › Oral presentation

ID: 223409