1. DSpace at Saint Petersburg State University

Просмотр собрания по группе - Авторы Knop Aleksandr Anatolevic

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
или введите несколько первых букв:  
Результаты 1 по 4 из 4
Предварительный просмотрДата выпускаНазваниеАвтор(ы)
2020Algebraic and semi-algebraic proof systems using algebraic circuitsАлексеев Ярослав Юрьевич; Alekseev Aroslav Urevic
2022Lower bounds for algebraic proof systemsАлексеев Ярослав Юрьевич; Alekseev Aroslav Urevic
2021Lower bounds for branching programs with bounded repetitions on search problemsСофронова Анастасия Александровна; Sofronova Anastasia Aleksandrovna
2020On proof systems based on binary decision diagramsСмирнов Петр Юрьевич; Smirnov Petr Urevic
Результаты 1 по 4 из 4