|
|
|
Publications in Math-Net.Ru |
Citations |
|
2022 |
| 1. |
A. A. Chubaryan, “Proof complexities on a class of balanced formulas in some propositional systems”, Proceedings of the YSU, Physical and Mathematical Sciences, 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”, Proceedings of the YSU, Physical and Mathematical Sciences, 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”, Proceedings of the YSU, Physical and Mathematical Sciences, 2010, no. 1, 61–63 |
1
|
|
2009 |
| 4. |
S. R. Aleksanyan, A. A. Chubaryan, “The polynomial bounds of proof complexity in Frege systems”, Sibirsk. Mat. Zh., 50:2 (2009), 243–249  ; Siberian Math. J., 50:2 (2009), 193–198   |
3
|
|
2002 |
| 5. |
A. A. Chubaryan, H. R. Bolibekyan, “On the minimal sequential calculi of Robinson’s arithmetic”, Proceedings of the YSU, Physical and Mathematical Sciences, 2002, no. 3, 20–22 |
|
2001 |
| 6. |
A. A. Chubaryan, “On some system of propositional logics calculus”, Proceedings of the YSU, Physical and Mathematical Sciences, 2001, no. 2, 22–26 |
|
| Organisations |
|
|
