Конференция
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
Конференция
On monotonous and strong monotonous properties of some propositional proof systems for two valued and finite-many-valued logics
Конференция
On three types of universal propositional proof systems for all versions of many-valued logics and some properties of them
