Գիտաժողովի նյութ
Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic
Հրապարակումներ
Գիտաժողովի նյութ
On proof complexities for some classes of tautologies in Frege systems
Գիտաժողովի նյութ
Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html. .
Գիտաժողովի նյութ
On the Palette Index of Bipartite Graphs
Գիտաժողովի նյութ
On the Achromatic Index of Complete Graphs
Գիտաժողովի նյութ
On Locally-Balanced 2-Partitions of Some Graphs
Գիտաժողովի նյութ
Near-interval edge-colorings of graphs
Գիտաժողովի նյութ
Явные вложения пекырсивных групп в конечно представленные группы
Գիտաժողովի նյութ
Some results on palette index of graphs
Գիտաժողովի նյութ
On some universal proof system for all versions of many-valued logics
Գիտաժողովի նյութ
On the relations between the proof complexity measures of strongly equal k-tautologies in some proof systems
Գիտաժողովի նյութ
On a property of GCn sets
Գիտաժողովի նյութ
On the usage of lines in GCn-sets
Գիտաժողովի նյութ
Ինֆորմացիոն տեխնոլոգիաների կիրառումը բնագիտական առարկաների դասավանդման համար
Գիտաժողովի նյութ
On pairs of wreath products of groups generating equal varieties
Գիտաժողովի նյութ
Interval Edge-Colorings of Graphs: Variations and Generalizations
Գիտաժողովի նյութ
The Usage of Lines in GCn-Sets
Գիտաժողովի նյութ
On the set of solutions of polynomial systems
Գիտաժողովի նյութ
On the proof complexity in two universal proof system for all versions of many-valued logics
Գիտաժողովի նյութ
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics
