Результаты

  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. Büchi Arithmetic: Finite Automata and Quantifier Elimination

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

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

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

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

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

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

ID: 223409