Статья
Some improvement of lower bounds for steps and sizes of proofs in Frege systems
Публикации
Статья
Исследование свойства монотонности некоторых пропозициональных систем выводов классической и неклассических логик
Статья
Some results on the palette index of graphs
Статья
Universal system for many-valued logic, based on splitting method, and some of its properties
Статья
ՏՐԱՄԱԲԱՆԱԿԱՆ ՌԵԳՐԵՍԻԱՆ ՈՐՊԵՍ ՄԱՐՔԵԹԻՆԳԻ ԳՈՐԾԻՔ
Статья
On the Proof Complexities of Strongly Equal Non-classical Tautologies
Статья
О точках пересечения двух плоских алгебраических кривых.
Статья
On the Intersection Points of Two Plane Algebraic Curves
Статья
ON THE DIMENSION OF SPACES OF ALGEBRAIC CURVES PASSING THROUGH n-INDEPENDENT NODES
Статья
ON A LINEARIZED COVERINGS OF A CUBIC HOMOGENEOUS EQUATION OVER A FINITE FIELD. LOWER BOUNDS
Статья
О ВОЗМОЖНОСТИ ВНУТРЕННОГО РЕЗОНАНСА СДВИГОВЫХ ЧАСТОТ УПРУГОГО ВОЛНОВОДА, ОБУСЛОВЛЕННОГО СМЕШАННЫМИ КРАЕВЫМИ УСЛОВИЯМИ
Статья
On Some Systems of Propositional Minimal Logic with Loop Detection
Статья
ASYMPTOTIC ESTIMATES OF THE NUMBER OF SOLUTIONS OF SYSTEMS OF EQUATIONS WITH DETERMINABLE PARTIAL BOOLEAN FUNCTIONS
Статья
THE NON-CLASSICAL PROBLEM OF AN ORTHOTROPIC BEAM OF VARIABLE THICKNESS WITH THE SIMULTANEOUS ACTION OF ITS OWN WEIGHT AND COMPRESSIVE AXIAL FORCES
Статья
Boundary-value problems and associated eigenvalue problems for systems describing vibrations of a rotation shell.
Статья
О некоторых свойствах пропозициональной системы обобщенных расщеплений
