|
|
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 |
|
|
|
|