Research output

  1. One-Parametric Presburger Arithmetic Has Quantifier Elimination

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

  2. Quantifier Elimination for Regular Integer Linear-Exponential Programming

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

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

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

View all (18) »

Projects

  1. Экзистенциальные арифметики со сложением и регулярными предикатами: 2024 г. этап 2

    Project: Grant fulfilment › Grant stage fulfilment

  2. Экзистенциальные арифметики со сложением и регулярными предикатами: 2023 г. этап 1

    Project: Grant fulfilment › Grant stage fulfilment

View all () »

Activities

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

    Activity: Conference talk types › Invited talk

  2. Quantifier Elimination for Existential Büchi Arithmetic

    Activity: Conference talk types › Oral presentation

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

    Activity: Conference talk types › Oral presentation

View all (8) »

ID: 223409