Conference
Some results on palette index of graphs
Publications
Conference
On some universal proof system for all versions of many-valued logics
Conference
On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems
Conference
On a property of GCn sets
Conference
On the usage of lines in GCn-sets
Conference
Ինֆորմացիոն տեխնոլոգիաների կիրառումը բնագիտական առարկաների դասավանդման համար
Conference
On pairs of wreath products of groups generating equal varieties
Conference
Interval Edge-Colorings of Graphs: Variations and Generalizations
Conference
The Usage of Lines in GCn-Sets
Conference
On the set of solutions of polynomial systems
Conference
On the proof complexity in two universal proof system for all versions of many-valued logics
Conference
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics
Conference
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics
Conference
On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them
Conference
Распределение учебной нагрузки кафедры с использованием методов нечеткой логики
Conference
Նեյրոնային ցանցերի տոպոլոգիայի օպտիմալացում գենետիկ ալգորիթմի միջոցով
Conference
РАСПРОСТРАНЕНИЕ УПРУГО-СПИНОВЫХ ВОЛН В СОСТАВНОЙ ФЕРРОМАГНИТНОЙ СТРУКТУРЕ С ПОЛУБЕСКОНЕЧНОЙ ТРЕЩИНОЙ
Conference
Decomposing graphs into interval colorable subgraphs and no-wait multi-stage schedules
Conference
On non-monotonous properties of some propositional proof systems
Conference
Comparison of two propositional proof systems by lines and by sizes
