Conference
Application of Kalmar鈥檚 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