Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Faculty of Informatics and Applied Mathematics
:
>
Near-interval edge-colorings of graphs
2018 | Հոդված/Article
10-я Международная конференция "Дискретные модели в теории управляющих систем". 2018, 22-24 pp.
Явные вложения пекырсивных групп в конечно представленные группы
2018 | Թեզիս/Thesis
International Algebraic Conference dedicated to the 110th anniversary of Professor A. G. Kurosh (1908–1971). 2018, 144-145 pp.
|
Some results on palette index of graphs
2018 | Թեզիս/Thesis
6th Gdańsk Workshop on Graph Theory. 2018, 60-61 pp.
|
Anahit Chubaryan , Garik Petrosyan
On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems
2018 | Հոդված/Article
Logic Colloquium 2018. 122-123 pp.
|
Anahit Chubaryan , Artur Khamisyan
On some universal proof system for all versions of many-valued logics
2018 | Թեզիս/Thesis
Logic Colloquium 2018. p. 95-96
|
H. Hakopian , V. Vardanyan
On the usage of lines in GCn-sets
2018 | Թեզիս/Thesis
Emil Artin International Conference. 2018, p. 35
|
H. Hakopian , V. Vardanyan
On a property of GCn sets
2018 | Հոդված/Article
International Conference Dedicated to 90th Anniversary of SERGEY MERGELYAN. 2018, 37-38 pp.
|
Anahit Chubaryan , Artur Khamisyan
Two types of universal proof systems for all variants of many-valued logics and some properties of them
2018 | Հոդված/Article
Iran Journal of Computer Science. 2018, 1, 1-8 pp.
|
Чубарян А. А. , Саядян С. М.
"Слабые” системы выводов классического исчисления высказываний не монотонны
2018 | Հոդված/Article
Проблемы современной науки и образования. 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
2018 | Հոդված/Article
Journal of Asian Scientific Research. 2018, V.8, N2, 61-72 pp.
|