RO EN
On a certan testing strategy for compiling systems. (Russian)
Authors: Kostyuk S. A.
Contents
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic. (Russian)
- Some existence theorems of Lyapunov stable, Poisson stable, recurrent (in the sense of Birkhoff), distal and almost Bohr periodic solutions of multidimensional differential equations. (Russian)
- On a certan testing strategy for compiling systems. (Russian)
- On the Vandermond operator of the quasi-elliptic bundle. (Russian)
- Nonquasigroup varieties of n-CHQ-algebras. (Russian)
- Modification of an algorithm for solving a problem of piecewise-linear concave programming. (Russian)
- On the non-almost reducible Hill equation with almost-periodic coefficients. (Russian)
- A study of a time function of a cycle of a closed exponential network. (Russian)
- Methods for constructing some free universal algebras and the solution of equations on them. (Russian)
- A Hardy-type inequality and the absence of eigenvalues in an integro-difference operator. (Russian)
- The structure of the Levinson center of dispersible dissipative dynamical systems. (Russian)
- Representation of a four-dimensional Minkowski space by indeterminate integral forms. (Russian)
- Positive solutions of systems of linear algebraic equations. (Russian)
- Invariant lines of a general quadratic differential system. (Russian)
- A reduction method for bisingular integral equations with polynomial coefficients on closed Lyapunov frames. (Russian)
- On the spectrum of a boundary value problem in the open right half-plane. (Russian)
- Embedding of precompact groups into pseudocompact groups. (Russian)
