Создать обращение в службу поддержки пользователей
Обращение успешно создано! Ему присвоен номер 0.
На адрес Вашей электронной почты отправлено письмо о регистрации обращения. Вы можете ответить на него, если хотите предоставить дополнительную информацию или прикрепить файлы.
Произошла ошибка при создании обращения. Попробуйте перезагрузить страницу и заново создать обращение.

Подтверждение выхода

Вы действительно хотите завершить сессию?
ИСТИНА ИСТИНА
Войти в систему
Регистрация
  • Область интересов
  • Публикации
  • НИР и НИОКР
  • Доклады
  • Учебная работа
  • Инновации
  • Прочее
  • Все результаты
Удаление сотрудника
Вы действительно хотите удалить сотрудника?
Удалить
Barto Libor
Barto Libor
IstinaResearcherID (IRID): 387263114
Статьи в журналах Статьи в сборниках
–

Статьи в журналах

    • 2024 Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
    • Barto Libor, Brady Zarathustra, Bulatov Andrei, Kozik Marcin, Zhuk Dmitriy
    • в журнале TheoretiCS, издательство Episciences (France), том 3 DOI

Статьи в сборниках

    • 2021 Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP
    • Barto Libor, Brady Zarathustra, Bulatov Andrei, Kozik Marcin, Zhuk Dmitriy
    • в сборнике 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), место издания IEEE DOI

ИСТИНА ИНХС РАН
© 2011-2025 Лаборатория 404. НИИ механики МГУ.
Правила пользования
Помощь
Создать обращение Обратная связь