Чубарян Анаит Арташесовна

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

1. Proof complexities on a class of balanced formulas in some propositional systems
   
   Уч. записки ЕГУ, сер. Физика и Математика, 56:2 (2022),  58–65
2. On non-monotonous properties of some classical and nonclassical propositional proof systems
   
   Уч. записки ЕГУ, сер. Физика и Математика, 54:3 (2020),  127–136
3. On the Rabin’s speed-up of proofs for some systems of first order logic
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2010, № 1,  61–63
4. О полиномиальных ограничениях сложностей выводов в системах Фреге
   
   Сиб. матем. журн., 50:2 (2009),  243–249
5. О минимальных секвенциальных исчислениях арифметики Робинсона
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2002, № 3,  20–22
6. О некоторой системе классического исчисления высказываний
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2001, № 2,  22–26