Conference
Application of Kalmar’s proof of deducibility in two valued propositional logic for many valued logic
Publications
Conference
On proof complexities for some classes of tautologies in Frege systems
Conference
Propositional sequent systems of two valued classical logic and many valued logics are no monotonous17-08-14.html. .
Conference
On the Palette Index of Bipartite Graphs
Conference
On the Achromatic Index of Complete Graphs
Conference
On Locally-Balanced 2-Partitions of Some Graphs
Conference
Near-interval edge-colorings of graphs
Conference
Явные вложения пекырсивных групп в конечно представленные группы
Conference
Some results on palette index of graphs
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
