|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
| 1. |
A. A. Chubaryan, “Proof complexities on a class of balanced formulas in some propositional systems”, Уч. записки ЕГУ, сер. Физика и Математика, 56:2 (2022), 58–65  |
|
2020 |
| 2. |
A. A. Chubaryan, A. A. Hambardzumyan, “On non-monotonous properties of some classical and nonclassical propositional proof systems”, Уч. записки ЕГУ, сер. Физика и Математика, 54:3 (2020), 127–136 |
|
2010 |
| 3. |
A. A. Chubaryan, H. R. Bolibekyan, “On the Rabin’s speed-up of proofs for some systems of first order logic”, Уч. записки ЕГУ, сер. Физика и Математика, 2010, № 1, 61–63 |
1
|
|
2009 |
| 4. |
С. Р. Алексанян, А. А. Чубарян, “О полиномиальных ограничениях сложностей выводов в системах Фреге”, Сиб. матем. журн., 50:2 (2009), 243–249  ; S. R. Aleksanyan, A. A. Chubaryan, “The polynomial bounds of proof complexity in Frege systems”, Siberian Math. J., 50:2 (2009), 193–198   |
3
|
|
2002 |
| 5. |
А. А. Чубарян, О. Р. Болибекян, “О минимальных секвенциальных исчислениях арифметики Робинсона”, Уч. записки ЕГУ, сер. Физика и Математика, 2002, № 3, 20–22 |
|
2001 |
| 6. |
А. А. Чубарян, “О некоторой системе классического исчисления высказываний”, Уч. записки ЕГУ, сер. Физика и Математика, 2001, № 2, 22–26 |
|
Обратная связь: