Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Chubaryan, Anait Artashesovna

Statistics Math-Net.Ru
Total publications: 6
Scientific articles: 6

Number of views:
This page:428
Abstract pages:671
Full texts:216
References:159
Professor
Doctor of physico-mathematical sciences (2007)
E-mail:

https://www.mathnet.ru/eng/person46059
List of publications on Google Scholar
List of publications on ZentralBlatt

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  mathnet
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  mathnet
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  mathnet 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  mathnet  mathscinet; Siberian Math. J., 50:2 (2009), 193–198  isi  scopus 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  mathnet
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  mathnet

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024