Անահիտ Արտաշեսի Չուբարյան
Կենսագրություն
Կրթություն
Երևանի պետական համալսարան, մեխանիկամաթեմատիկական ֆակուլտետ, 1964 - 1969 թթ.
Ասպիրանտուրա 1969 - 1972 թթ.

Գիտական աստիճան
Թեկնածուական - Արտածումների բարդության բնութաքրիչների մասին որոշ տրամաբանական համակարքերում, 1978 թ., ԽՍՀՄ ԳԱ Հաշվողական կենտրոն, Մոսկվա
Դոկտորական - Տրամաբանական և տրամաբանամաթեմատիկական համակարգերի արտածումների բարդության բնութաքրիչների հետազոտում, 2007 թ., ՀՀ ԳԱԱ ԻԱՊԻ Երևան

Աշխատանքային փորձ
ԵՊՀ` «Տեսական կիբեոնետիկայի» ամբիոն ասիստենտ` 1972 - 1976 թթ.
ավաք դասախոս` 1976 - 1982 թթ.
դոցենտ` 1982 - 2009 թթ.
«Համակարգերի տեսուղթյան» ամբիոն ամբիոնի վարիչ` 1986 - 1991 թթ.
«Դիսկրետ մաթեմատիկայի և ինծֆորմատիկայի» ամբիոն պրոֆեսոր` 2009 թ-ից աո այսօր

Կարդացվող դասընթացներ
Ալգորիթմների տեսություն, մաթեմատիկական տրամաբանություն, դիսկրետ մաթեմատիկա, բարդության ընդհանուր տեսություն, արտածումների բարդութուն

Գիտական հետաքրքրությունների շրջանակը
մաթեմատիկական տրամաբանություն, արտածումների տեսութուն, արտածումների բարդութուն

Մասնակցությունը դրամաշնորհների
ՀՀ ՊԳԿ դրամաշնորհ (ծածկագիր 11-1и023)

Լեզուներ
Հայերեն, ոուսերեն, անգլերեն, գերմաներեն

Մասնագիտական անդամակցություն
ԵՊՀ-ում գործող ԲՈՀ-ի 044 «Մաթեմատիկական կիբերնետիկա և մաթեմատիկական տրամաբանություն» մասնագիտական խորհրդի անդամ
ՀՀ Մաթեմատիկական ընկերության անդամ
Սիմվոլիկ տրամաբանության ասոցիացիայի անդամ

achubaryan@ysu.am

Անահիտ Արտաշեսի Չուբարյան

Պրոֆեսոր | Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ - Դիսկրետ մաթեմատիկայի և տեսական ինֆորմատիկայի ամբիոն
 
 

Գիրք/Book

Ա. Ա. Չուբարյան, Հ. Գ. Մովսեսյան, Ս. Մ. Սայադյան

Հաշվարկելիության բարդության տեսության հիմնադրույթները | Ուս. ձեռնարկ: ԵՊՀ հրատ.: 2017թ․, 62 էջ

Anahit Chubaryan, Artur Khamisyan, Garik Petrosyan

On some systems for two versions of many-valued logics | LAP (Lambert Academic Publishing). 2017, 73 p.

A. A. Chubaryan

Rabin style speed-up of proofs | Monograph, LAP (Lambert Academic Publishing), Germany, 2010

A. Abajyan, An. Chubaryan

Proof Complexity of Hard-determinable Formula in R(lin) | ASL ESM, LC-2009, Abstracts, Sofia, 27

Ա. Ա. Չուբարյան, Հ. Ռ. Բոլիբեկյան, Հ. Մովսիսյան

Ալգորիթմների տեսության խնդիրների ժողովածու | Ուսումնական ձեոնարկ, ԵՊՀ հրատարակչություն, Երևան-2008 և http:users.freenet.am/~bolibek

A. A. Chubaryan, A. Chubaryan, S. M. Sayadyan

The relative efficiency of propositional proof systems for classical and non-classical logic | Book “Perspectives on Universal Logic”, ISP, Monza, Italy,2007, pp. 265-275

Болибекян О., Чубарян А.

О минимальных секвенциальных исчислениях арифметики Робинсона | Ученые записки ЕГУ, 3, 2002, 20 – 22

Ա. Ա. Չուբարյան, Ռ. Ն. Տոնոյան

Ավտոմատներ և Թյուրինգի մեքենաներ | Ուսումնական ձեռնարկ, ԵՊՀ հրատարակչություն, Երևան 1984
 

Հոդված/Article

Anahit Chubaryan, Artur Khamisyan, Garik Petrosyan

Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems | Transactions on Machine Learning and Artificial Intelligence, 2019, Volume 7, No 1, pp. 56-63 |

Чубарян А. А., Саядян С. М., Зограбян Г. М.

О свойствах монотонности и строгой монотонности пропозициональных систем резолюций классической и неклассических логик | Sciences of Europe, 2019, 35, 2, pp. 74-77

Anahit Chubaryan, Artur Khamisyan

Relations between the Proof Complexity Characteristics in Two Universal Proof Systems for All Variants of Many-Valued Logics | East African Scholars Journal of Engineering and Computer Sciences, 2019, 2(2), pp. 69-74 |

Chubaryan A. A., Tamazyan H. A., Tshitoyan A. S.

Some improvement of lower bounds for steps and sizes of proofs in Frege systems | Sciences of Europe, 2019, Vol 1, # 37, pp. 39-44 |

Г. М. Зограбян, С. М. Саядян, А. А. Чубарян

Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик | ՀՀ ԳԱԱ զեկույցներ, 2019, 119, 1, էջ 33-39 |

Anahit Chubaryan

Universal system for many-valued logic, based on splitting method, and some of its properties | International Journal of Innovative Studies in Sciences and Engineering Technology, 2019, Volume 5, Issue 5, pp. 52-55 |

Anahit Chubaryan, Sergey Sayadyan

On the Proof Complexities of Strongly Equal Non-classical Tautologies | Advances in Mathematics and Computer Science, 2019, Vol. 1 Chapter 6, pp. 105-112 |

A. A. Chubaryan, H. A. Tamazyan

On lower bounds for proofs sizes in Frege systems | ՀՀ ԳԱԱ զեկույցներ, 2019, 119, 2, էջ 116-121 |

Anahit Chubaryan, Garik Petrosyan

On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems | Logic Colloquium 2018. 122-123 pp. |

Anahit Chubaryan, Artur Khamisyan

Two types of universal proof systems for all variants of many-valued logics and some properties of them | Iran Journal of Computer Science. 2018, 1, 1-8 pp. |

Чубарян А. А., Саядян С. М.

"Слабые” системы выводов классического исчисления высказываний не монотонны | Проблемы современной науки и образования. 2018, 2 (122), стр. 5-10 |

Chubaryan A., Karabakhtsyan A., Petrosyan G.

Some properties of several proof systems for Intuitionistic, Johansson’s and Monotone propositional logics | Journal of Asian Scientific Research. 2018, V.8, N2, 61-72 pp. |

Саядян С. М., Чубарян А. А.

O свойстве немонотонности некоторых систем выводов классического исчисления высказываний | Доклады НАН РА. 2018, 118, N 1, стр. 20-25 |

Chubaryan Anahit, Karabakhtsyan Arman, Petrosyn Garik

On some properties of several proof systems for non classical propositional logics | Вестник Российско-Армянского Университета: Физико-математические и естественные науки. 2018, 1, стр. 5-17 |

Chubaryan A. A., Tshitoyan A. S.

On some propositional proof systems for various logics | Sciences of Europe. 2017, 11 (11), pp. 26-29 |

Chubaryan A. A., Petrosyan G. W.

Some notes on proof complexities in Frege systems | Sciences of Europe. 2017, Vol.1,#12 (12), pp. 31-34 |

Chubaryan Anahit, Khamisyan Artur

Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic | Pure and Applied Mathematics. 2017, Vol.6, No. 2, pp. 71-75 |

Anahit Chubaryan, Garik Petrosyan

On some properties of several proof systems for 2-valued and 3-valued propositional logic | Fundamentalis scientiam. 2017, 8(8), pp. 70-73 |

Chubaryan Anahit, Khamisyan Artur, Arman Tshitoyan

On some systems for Łukasiewicz’s many-valued logic and its properties | Fundamentalis scientiam. 2017, 8(8), pp. 74-79 |

Chubaryan A. A. , Petrosyan G. W

The relations between the proof complexities of strongly equal classical tautologies in Frege systems | Российско-Китайский международный научный журнал «Содружество», 2016, № I (1), стр. 78-81 |

А. А. Чубарян, А. С. Читоян, А. А. Хамисян

О некоторых системах доказательств для многозначных логик и сложностях выводов в них | ՀՀ ԳԱԱ զեկույցներ, 2016թ․, том 116, N2, 108-114 էջ, Հայաստան |

Анаит Чубарян, Артур Хамисян

Новый метод доказательства полноты пропозициональной системы трехзначной логики Лукасевича и его приложения | Evolutio. Естественные науки, 2016, Вып 3 , стр. 9-12 |

Anahit Chubaryan, Garik Petrosyan

Frege systems are no monotonous | Evolutio. Естественные науки, 2016, Вып 3, стр. 12-14 |

An. Chubaryan, Arm. Chubaryan, A.Tshitoyan

On lower bounds for steps and sizes of proofs in Frege systems | CSIT-2015, Yerevan. 2015-09-28, 16-18 pp. |

An. Chubaryan, Arm. Chubaryan, H.Nalbandyn, S. Sayadyan

A Hierarchy of Resolution Systems with Restricted Substituted Rules | Computer Technology and Applications, David Publishing, USA, Vol.3, N4, 2012, pp. 330-336

An. Chubaryan, H. Nalbandyan

On efficiency of Intuitionistic and Minimal Frege systems without and with different substitution rules | Nauka i Studia, 13 (58), Poland, 2012, pp. 117-124

An. Chubaryan, Arm. Chubaryan, A. Tshitoyan

The Properties of Determinative Disjunctive Normal Forms and Systems Based on Them | Journal of Mathematics Research, Vol.4, No 6, Toronto, Published by Canadian Centre of Science and Education, 2012, pp.89-96

A. A. Chubaryan, H. Nalbandyan

Comparison of proof sizes in Frege systems and Substitution Frege systems | Int.J. ITA, Bulgaria, 2010, Vol.17, N 2, pp. 146-153

A. A. Chubaryan, A.Abajyan

Proof complexities of some propositional formulae classes in different refutation systems | Int. J. ITA, Bulgaria, 2010, Vol.17, N3, 289-299

Ա. Ա. Չուբարյան, Հ. Ռ. Բոլիբեկյան

On the Rabin’s speed-up of proofs for some systems of first order logic (Առաջին կարգի տրամաբանության որոշ համակարգերում արտածումների Ռաբինի արագացման մասին) | ԵՊՀ գիտական տեղեկագիր, Ֆիզիկա և մաթեմատիկա, 2010, #1, էջ 61–63 |

A. A. Chubaryan, S. Aleksanyan

The polynomial bounds of proof complexity in Frege systems | Siberian Mathematical Journal, Springer Verlag, V. 50, N 2, 2009, pp. 243-249

A. A. Chubaryan, H. Nalbandyan

Comparison of the Efficiency of Frege Systems with Different Mօdifications of Substitution Rule | DNAN RA, Prikladnaja Matematika, 2009, V. 109, N 3, 208-213 (in Russian)

A. A. Chubaryan, A. Chubaryan, S. Aleksanyan

Comparison of the Complexities in Frege Proofs with defferent Substition rules | Mathematical Problems of Computer Science, 30, NAS RA, 2008, pp. 36-39

A. A. Chubaryan, A..Chubaryan

Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics | Armenian Journal of Mathematics, V. 1, N 2, 2008, pp. 29-35

A. A. Chubaryan, A. Chubaryan

A new definition of Equality of Tautologies for various Logics | L&PS, V.5, Issue 1, 2007, Triest, Italy, 3-8

A. A. Chubaryan, S. Aleksanyan

On determinative complexity of Frege Proofs | XIV International Conference on LPAR, Proceedings of the short Papers Session, 2007, Yerevan, pp. 117-122

H. Bolibekyan, Chubaryan An., Chubaryan Arm.

On the most generalized speed-up in first order logic | Proceedings of the Logic Colloquium 2005, Athens (and the Bulletin of Symbolic Logic, v. 12, No. 2, 2006), p. 59 (p. 328)

А. А. Чубарян

Об эффективности различных систем классических и неклассических логик | ДАН, РФ, Математика, т. 404, N 2, 2005, and DMS 5/1, 2005, MAIK “Nauka/Interperiodika”,166-168

А. А. Чубарян

О сложности выводов в некоторых системах классического исчисления высказываний | “Математические вопросы кибернети¬ки”, вып. 14, 2005, М., Физматлит, с. 49-56

H. Bolibekyan, Chubaryan A.

On some proof systems for I. Johansson’s minimal logic of predicates | Proceedings of the Logic Colloquium 2003, Helsinki (and the Bulletin of Symbolic Logic, v. 10, No. 2, 2004), p. 56 (p.250)

А. А. Чубарян, О. Р. Болибекян

О секвенциальных системах слабых арифметик | ДНАН Армении, Прикладная математика, 2002, 102, т. 3, ц. 214-218

А. А. Чубарян

Относительная эффективность некоторых систем доказательств классической пропозициональной логики | Известия НАН РА, т. 37, N 5, 2002, and Journal of CMA (AAS), v. 37, N5, 2002, 71-84

Ա. Ա. Չուբարյան, Հ. Ռ. Բոլիբեկյան

О минимальных секвенциальных исчислениях арифметики Робинсона (Ռոբինսոնի թվաբանության մինիմալ սեկվենցիալ հաշիվների մասին) | ԵՊՀ Գիտական տեղեկագիր, Բնական գիտություններ, 2002, #3, էջ 20-22 (ռուսերեն) |

О. Р. Болибекян, А. А. Чубарян

О секвенциальных системах слабых арифметик | ДНАН Армении, Прикладная математика, 2002, 102, т. 3, ц. 214-218

Ա. Ա. Չուբարյան

О некоторой системе классического исчисления высказываний (Ասույթային դասական հաշվի մեկ համակարգի վերաբերյալ) | ԵՊՀ Գիտական տեղեկագիր, Բնական գիտություններ, 2001, #2, էջ 22-26 (ռուսերեն) |

Ա. Ա. Չուբարյան, Հ. Ռ. Բոլիբեկյան

Արտածումների որոշ բարդությունների հետազոտում | Երիտասարդ գիտնականների հոդվածների հոբելյանական ժողովածու, ԵՊՀ, 2000, էջ 16-20

А. А. Чубарян

О нижних оценках выводов в системах Фреге с подстановками | ДНАН Армении, Прикладная матема¬тика, т. 100, N 3, 2000, 223-227

A. A. Chubaryan

The powers of the essential subformulaes sets in Frege proofs and substitution Frege proofs | Mathematical Problems of Computer Science (Матем. воп¬ро¬сы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, с. 116-118

A. A. Chubaryan

The Complexity in Frege Poofs with Substitution | Mathematical Problems of Computer Science, (Матем. вопросы кибернетики и вычислит. техники), Е., Изд-во НАН РА, т. 21, 2000, pp. 7-11

Բոլիբեկյան Հ., Չուբարյան Ա.

Արտածումների որոշ բարդությունների հետազոտում | Երիտասարդ գիտնականների հոդվածների ժողովածու, Եր., 2000, 2, 16 – 21

А. А. Чубарян

О сложности выводов в некоторой системе классического исчисления высказываний | Изв. НАН Армении, Математика, т. 34, N 5, 1999 and Journal of CMA (AAS), v. 34, N5, 1999, 16-26

А. А. Чубарян

Сравнение выводов в системах Фреге и системах Фреге с правилом подстановки | Известия НАН РА, Математика, т. 35, N 5, 2000 and Journal of CMA (AAS), v. 35, N5, 1999, с. 21-29

А. А. Чубарян, Г. Зорян, А. Джугарян

О сложности расщепления для некоторых классов формул | Прикладная математика, вып. 5, Изд-во ЕГУ, 1987, 121-129

А. А. Чубарян

О сложностных характеристиках выводов в системах исчисления предикатов и формальной арифметики | "Математические вопросы кибернетики и вычислительной техники", Ереван, Изд-во АН Арм. ССР, X, 1982, 124-139

А. А. Чубарян

О сравнении длин выводов в различных системах исчисления высказываний | Второй чехословацко-советский семи¬нар молодых ученых по математической информатике, Братислава, 1982, 145-150

А. А. Чубарян

О сложности выводов в различных системах исчисления высказываний | Прикладная математика, вып. 1, Изд-во ЕГУ, 1981, 81-89

А. А. Чубарян

О сложности выводов в формальной арифметике и исчислении предикатов | ДАН Арм. ССР, т. LXIV, N 4, 1977, 193-196

А. А. Чубарян, Г. Цейтин

О некоторых оценках длин логических выводов в классическом исчислении высказываний | "Математические вопросы кибернетики и вычислительой техники", Ереван, Изд-во АН Арм ССР, 1975, 57-64

А. А. Чубарян, Нгуен Вань Тинь

Некоторые оценки сложностных характеристик выводов в классическом исчислении высказываний | "Молодой научный работник", Ереван, Изд-во ЕГУ, N 2 (22), 1975, 47-54.

А. А. Чубарян

О длинах выводов формулы в расширениях формальной арифметики | Изд-во АН ССР, IX, N 5, 1974, 409-420

А. А. Чубарян

О сложности выводов в расширениях формальной арифметики | "Молодой научный работник", Изд-во ЕГУ, N 2 (20), 1974, 60-63

А. А. Чубарян

О некоторой нормальной форме и сложностных характеристиках выводов в классическом исчислении высказываний | Изв. АН Арм. ССР, т. X, N 5, 1974, 398-409

А. А. Чубарян, Г. Цейтин

Некоторые оценки длин логических выводов в классическом исчислении высказываний | ДАН Арм. ССР, т. LV, N 1, 1972, 10-12
 

Թեզիս/Thesis

Anahit Chubaryan, Garik Petrosyan, Sergey Sayadyan

Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics | Logic Colloquium 2019. pp. 165-166 |

Anahit Chubaryan, Artur Khamisyan

On the proof complexity in two universal proof system for all versions of many-valued logics | Logic Colloquium 2019, p. 152-153 |

Anahit Chubaryan, Artur Khamisyan

On some universal proof system for all versions of many-valued logics | Logic Colloquium 2018. p. 95-96 |

Anahit Chubaryan, Artur Khamisyan

Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic | ASL, ESM, Logic Colloquium – 2017. p. 97 |

Anahit Chubaryan, Garik Petrosyan

On proof complexities for some classes of tautologies in Frege systems | ASL, ESM, Logic Colloquium – 2017. p. 99 |

Anahit Chubaryan, Hakob Nalbandyan, Arman Karabakhtsyan , Garik Petrosyan

Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html | ASL, ESM, Logic Colloquium – 2017. p. 98 |

Anahit Chubaryan, Garik Petrosyan

The proof complexities relations for strongly equal classical tautologies in Frege systems | ASL, ESM, Logic Colloquium – 2016, p. 69-70 |

Anahit Chubaryan, Artur Khamisyan, Arman Tshitoyan

Some new proof systems for a version of many-valued logics and proof complexities in it | ASL, ESM, Logic Colloquium – 2016, p. 70 |

An. Chubaryan, Arm. Chubaryan

Resolution systems with restricted substitution rule | CiE-2012, Cambridge, Abstracts,25

An. Chubaryan

On the hierarchies of some propositional systems for classical and non-classical logics | Mathematical Problems of Computer Science, 38, Yerevan, 2012, pp. 95-96

An. Chubaryan, S. Sayadyan,

Some new propositional proof systems for intuitionistic and minimal logics | Mathematical Problems of Computer Science, 38, Yerevan, 2012, pp. 44-45.

An. Chubaryan, Arm. Chubaryan, A. Abajyan

On determinative disjunctive normal Forms | CSIT Conference 2011, Yerevan, 39-41

An. Chubaryan, Arm. Chubaryan, H. Nalbandyan,

A hierarchy of Resolution with restricted substitution for Classical propositional Logic | SciRP Workshop, Shanghai, China, 2011, 6-7

An. Chubaryan, Arm. Chubaryan, S. Sayadan

Resolution systems with restricted substitution for Intuitionistic and Minimal Logics | SciRP Workshop, Shanghai, China, 2011, 7

R. Karapetyan, S. Gasparyan, A. Chubaryan

Academic Discourse in Multicultural Aspects | ESSE 10 International Conference of European Society for the Study of English. ESSE 10 Conference Program (poster session). Italy, Torino: Tipografia Testa-Torino, 2011, էջ 71

An. Chubaryan, Arm. Chubaryan, H. Nalbandyan

On the sizes in Frege proofs and Substitution Frege proofs | ASL ESM, LC, Paris, 2010, 37.

An. Chubaryan , Arm. Chubaryan, A. Abajyan

On numerical properties of determinative normal forms | LC-2010, Paris, 45

An. Chubaryan, Arm. Chubaryan, H. Nalbandyan

Efficiency of Weak Substitution Rules | ASL ESM, LC-2009, Abstract, Sofia, 37-38

An. Chubaryan, Arm. Chubaryan, H. Nalbandyan

Comparison of the Efficiency of Frege Systems with Restricted Substitution Rules | CSIT, 2009, Yerevan, 31-32.

An. Chubaryan, Arm. Chubaryan

On the proof complexities in the Frege systems with different substitution rules | ESM, ASL, Logic-Colloquium-2008, Bern, 37.

An. Chubaryan, Arm. Chubaryan

Relative efficiency of Frege Systems with different substitution rules | ASL- 10, Kobe, Japan, 2008, 43

An. Chubaryan, Arm. Chubaryan

A new definition of Equality of Tautologies for various Logics | I International Algebra and Geometry Confe¬rence, 2007, Yerevan, 11

An. Chubaryan, S. Aleksanyan

On determinative complexity of Frege Proofs | XIV International Conference on LPAR, Proceedings of the short Papers Session, 2007, Yerevan, 117-122

An. Chubaryan, Arm.Chubaryan, H. Bolibekyan

On the most generalized speed-up in first order logic | Logic-Colloquium 2005 ESM, ASL, Athens, 59, and the Bulletin of Symbolic Logic, v. 12, N 2, June, 2006, 328

An. Chubaryan, S. Sayadyan

The relative efficiency of different propositional proof systems | Logic-Colloquium 2005 ESM, ASL, Athens, 58, and the Bulle¬tin of Symbolic Logic, v. 12, N 2, June, 2006, 327

An. Chubaryan, Arm. Chubaryan

On the proofs complexity in the Resolution systems of Intuitionistic and Minimal propositional logic | Logic Colloquium 2004, Torino, Italy, Abstracts, 62, and Bulletin of Symb. Logic, v. 11, N 2, 2005, 271-272

An. Chubaryan, Arm. Chubaryan, S. Sayadyan

The relative efficiency of propositional proof systems for classical and non-classical logic | 1st World Congress Unilog, Montreux, Switzerland, Handbook 2005, 18

An. Chubaryan, S. Sayadyan

Comparison of efficiency of of some proof systems for classical and non-classical logic | CSIT-2005, Yerevan, 39-42

An. Chubaryan, S. Aleksanyan

On some properties of Frege proofs | CSIT-2005, Yerevan, 35-38

An. Chubaryan, H. Bolibekyan

On some proof systems for I. Johansson's minimal logic of predicates | Logic Colloquium 2003, Helsinki, Finland, Aug. 14-20, Abstracts, and Bulletin of Symb. Logic, v.10, N2, 2004, 31

An. Chubaryan, Arm. Chubaryan

On the proofs complexity in CPL | Logic Colloquium-2002, Muenster, Germany, 30-31, and Bulletin of Symbolic Logic, v. 9, N 1, Murch 2003,167

An. Chubaryan, H. Movsesyan

On the proofs complexity in intuitionistic and minimal propositional logic | Logic Colloquium-2002, Muenster, Germany, 45, and Bulletin of Symbolic Logic, v. 9, N 1, Murch 2003, 172

An. Chubaryan, Arm. Chubaryan, S. Aleksanyan

On the proofs complexity in some "weak" systems of CPL | 12-th International Congress of Logic, Methodology and Philosophy of Science, Volume of Abstracts, Spain, Oveido, 2003,61-62

An. Chubaryan, Arm. Chubaryan, S. Aleksanyan

On the Bounds of the Proofs Complexity in Some "Weak" Systems of Classical Propositional Logic | CSIT Conference, Yerevan, 2003, 86-87

An. Chubaryan

On the Complexity of proofs in a Frege system | Colloquium Logicum, Annals of Kurt-Godel-Society, v. 4, Vienna, 2001 and Bull of Symb. Logic, v. 8, N 1, Murch 2002, 128

An. Chubaryan

About the Complexity of proofs in Frege systems | CSIT Conference, Yerevan, 2001, 32-35

An. Chubaryan

On the complexity of deductions in any system of classical propositional calculus | Joint Workshop, ISU and IIAP of Armenia NAS, Yerevan 1999, IIAP of Armenia NAS, 7

Ан.Чубарян

О сложности выводов отдельных классов формул | CSIT Conference, Yerevan, 1999, 7-8

An. Chubaryan

On the lengths of deductions in several logical systems | CSIT Conference, Yerevan, 1997, 24-25

Ан. Чубарян

Сравнение длин выводов в некоторых системах ис¬числения высказываний | IX Всесоюзная конф. по матем. логике, Ленинград, 1988, 176

Ан. Чубарян

О длинах выводов формул в расширениях формальной арифметики | III Всесоюзная конференция по матем. логике (Тезисы докладов), Новосибирск, 1974, 225-226.

Ан. Чубарян

О некоторой нормальной форме и сложностных характеристиках выводов в классическом исчислении высказываний | Теория логического вывода, (тезисы док¬ладов Всесоюзного симпозиума), часть II, Москва, 1974, 169-172