Результаты

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференцииРецензирование

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференцииРецензирование

  3. Existential Definability with Addition and k-Regular Predicates

    Результаты исследований: Материалы конференцийтезисы

Просмотреть все (16) »

Проекты

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

    Проект: исполнение гранта/договораисполнение этапа гранта/договора

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

    Проект: исполнение гранта/договораисполнение этапа гранта/договора

Просмотреть все () »

Деятельность

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

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

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

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

  3. Existential Definability with Addition and k-Regular Predicates

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

Просмотреть все (6) »

ID: 223409