Просмотр собрания по группе - Авторы Girs Eduard Alekseevic
Результаты 1 по 3 из 3
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2020 | Algebraic and semi-algebraic proof systems using algebraic circuits | Алексеев Ярослав Юрьевич; Alekseev Aroslav Urevic | |
2022 | Lower bounds for algebraic proof systems | Алексеев Ярослав Юрьевич; Alekseev Aroslav Urevic | |
2021 | Simulations between proof systems | Гаевой Никита Сергеевич; Gaevoj Nikita Sergeevic |