Кожевников Арист Александрович

Публикации в базе данных Math-Net.Ru

1. О полных односторонних функциях
   
   Пробл. передачи информ., 45:2 (2009),  101–118
2. Алгебраическая криптография: новые конструкции и их надёжность относительно доказуемого взлома
   
   Алгебра и анализ, 20:6 (2008),  119–147
3. Нижние оценки на длину вывода цейтинских формул в статической системе доказательств Ловаса–Схрайвера
   
   Зап. научн. сем. ПОМИ, 340 (2006),  10–32
4. Intuitionistic frege systems are polynomially equivalent
   
   Зап. научн. сем. ПОМИ, 316 (2004),  129–146