|
|
|
Publications in Math-Net.Ru |
Citations |
|
2009 |
| 1. |
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
|
|
2007 |
| 2. |
S. R. Aleksanyan, “On proof normal forms for some systems of classical propositional logic”, Proceedings of the YSU, Physical and Mathematical Sciences, 2007, no. 1, 39–45 |
|
| Organisations |
|
|
