| Publication | Date of Publication | Type |
|---|
On implicit extensions in many-valued logic
Discrete Mathematics and Applications | 2024-12-03 | Paper |
Near-polynomial recursive sequences with algorithmically unsolvable problems
Moscow University Computational Mathematics and Cybernetics | 2024-07-10 | Paper |
Logical extensions of the parametric closure operator
Discrete Mathematics and Applications | 2024-06-03 | Paper |
Implicatively implicit extensions in three-valued logic
Moscow University Computational Mathematics and Cybernetics | 2024-05-29 | Paper |
On polynomial-modular recursive sequences
Discrete Mathematics and Applications | 2023-11-17 | Paper |
On the equality problem of finitely generated classes of exponentially-polynomial functions
Discrete Mathematics and Applications | 2023-08-15 | Paper |
Reducibility by means of almost polynomial functions
Russian Mathematics | 2023-07-14 | Paper |
Operation of bound prefix concatenation and finite superposition bases
Moscow University Computational Mathematics and Cybernetics | 2023-05-25 | Paper |
Implicit expressibility in multiple-valued logic
Moscow University Computational Mathematics and Cybernetics | 2022-12-05 | Paper |
Completeness criterion with respect to the enumeration closure operator in the three-valued logic
Discrete Mathematics and Applications | 2022-10-06 | Paper |
Infinitely generated classes of 01-functions of three-valued logic
Moscow University Computational Mathematics and Cybernetics | 2021-12-09 | Paper |
On the action of the implicative closure operator on the set of partial functions of the multivalued logic
Discrete Mathematics and Applications | 2021-08-30 | Paper |
Modeling multitape Minsky and Turing machines by three-tape Minsky machines
Programming and Computer Software | 2021-02-09 | Paper |
Completeness criterion in class of exponential-polynomial functions
Moscow University Computational Mathematics and Cybernetics | 2021-01-15 | Paper |
On alphabetic coding for superwords
Problems of Information Transmission | 2020-06-23 | Paper |
Completeness criterion for the enumeration closure operator in three-valued logic
Discrete Mathematics and Applications | 2020-02-17 | Paper |
Equational closure and closure with respect to enumeration on a set of partial multivalued logic functions
Moscow University Computational Mathematics and Cybernetics | 2020-01-20 | Paper |
Extensions of the Positive Closure Operator by Using Logical Connectives
Journal of Applied and Industrial Mathematics | 2019-12-02 | Paper |
On the complexity of polynomial recurrence sequences
Problems of Information Transmission | 2019-07-19 | Paper |
Calculating the number of functions with a given endomorphism
Moscow University Computational Mathematics and Cybernetics | 2019-03-28 | Paper |
Computations on counter machines with summator
Moscow University Computational Mathematics and Cybernetics | 2018-10-10 | Paper |
Basic positively closed classes in three-valued logic
Discrete Mathematics and Applications | 2018-09-03 | Paper |
Bounded prefix concatenation operation and finite bases with respect to the superposition
Discrete Mathematics and Applications | 2018-04-23 | Paper |
On the operations of bounded suffix summation and multiplication
Journal of Applied and Industrial Mathematics | 2018-04-06 | Paper |
On FE-precomplete classes in countable-valued logic
Discrete Mathematics and Applications | 2017-11-02 | Paper |
Closure operators with positive connectives and quantifiers
Moscow University Computational Mathematics and Cybernetics | 2017-07-18 | Paper |
On maximal subalgebras of the algebras of unary recursive functions
Journal of Applied and Industrial Mathematics | 2017-02-09 | Paper |
On maximal subgroups of the group of recursive permutations
Moscow University Computational Mathematics and Cybernetics | 2016-11-22 | Paper |
On elementary word functions obtained by bounded prefix concatenation
Discrete Mathematics and Applications | 2016-09-13 | Paper |
Closed classed of three-valued logic that contain essentially multiplace functions
Discrete Mathematics and Applications | 2016-09-13 | Paper |
| On the complexity of solutions of systems of functional equations in countable-valued logic | 2016-08-12 | Paper |
Functional equations for the functions of real variables
Moscow University Computational Mathematics and Cybernetics | 2016-04-05 | Paper |
On complexity of problem of satisfiability for systems of countable-valued functional equations
Russian Mathematics | 2016-01-14 | Paper |
On the enumeration closure operator in multivalued logic
Moscow University Computational Mathematics and Cybernetics | 2015-11-13 | Paper |
On a recursive definition of a class of finite automaton functions
Moscow University Computational Mathematics and Cybernetics | 2015-09-04 | Paper |
Complexity of the search for the least solution to a system of dictionary equations of exponential type
Moscow University Computational Mathematics and Cybernetics | 2015-07-30 | Paper |
Positively closed classes of three-valued logic
Journal of Applied and Industrial Mathematics | 2015-07-27 | Paper |
| On solutions to systems of automata-type functional equations | 2015-07-17 | Paper |
On maximal and minimal elements of partially ordered sets of Boolean degrees
Journal of Applied and Industrial Mathematics | 2015-07-17 | Paper |
Definability in the language of functional equations of a countable-valued logic
Discrete Mathematics and Applications | 2015-05-12 | Paper |
Bounded monotone recursion and multihead automata
Programming and Computer Software | 2015-03-23 | Paper |
The FE-closure operator in countable-valued logic
Moscow University Computational Mathematics and Cybernetics | 2013-11-28 | Paper |
Interpolation and superpositions of multivariate continuous functions
Mathematical Notes | 2013-07-08 | Paper |
Definition of positively closed classes by endomorphism semigroups
Discrete Mathematics and Applications | 2013-06-24 | Paper |
Atoms of the lattice of positively closed classes of three-valued logic
Discrete Mathematics and Applications | 2013-04-29 | Paper |
Mixed id-expansion of multivalued logic functions
Moscow University Computational Mathematics and Cybernetics | 2012-11-20 | Paper |
Iteration operators on a set of continuous functions of Baire space
Moscow University Computational Mathematics and Cybernetics | 2012-11-20 | Paper |
On orders of closed classes containing a homogeneous switching function
Moscow University Computational Mathematics and Cybernetics | 2012-11-20 | Paper |
FE classification of functions of many-valued logic
Moscow University Computational Mathematics and Cybernetics | 2012-11-20 | Paper |
Operator of positive closure
Doklady Mathematics | 2012-05-10 | Paper |
Positively closed classes of three-valued logic generated by one-place functions
Discrete Mathematics and Applications | 2012-03-23 | Paper |
Complete and incomplete Boolean degrees
Problems of Information Transmission | 2012-03-13 | Paper |
| On closed classes of functions of \(k\)-valued logics defined by a single endomorphism | 2012-02-20 | Paper |
| The closure operator in a multi-valued logic based on functional equations | 2012-02-20 | Paper |
| On classifications of many-valued logic functions by means of automorphism groups | 2012-02-20 | Paper |
| scientific article; zbMATH DE number 6004972 (Why is no real title available?) | 2012-02-10 | Paper |
| Discriminator positively complete classes of ternary logic | 2012-02-10 | Paper |
| Superpositions of elementary arithmetic functions | 2012-02-10 | Paper |
| Equationally closed classes of partial Boolean functions | 2012-02-10 | Paper |
| A criterion for positive completeness in ternary logic | 2012-02-10 | Paper |
The uniform \(id\)-decomposition of functions of many-valued logic over homogeneous functions
Discrete Mathematics and Applications | 2011-05-10 | Paper |
| scientific article; zbMATH DE number 5827853 (Why is no real title available?) | 2010-12-18 | Paper |
On the complexity of the ℰ2 Grzegorczyk class
Discrete Mathematics and Applications | 2010-09-06 | Paper |
Superpositions of continuous functions defined on a Baire space
Problems of Information Transmission | 2010-03-16 | Paper |
Solutions to the systems of functional equations of multivalued logic
Moscow University Computational Mathematics and Cybernetics | 2010-01-29 | Paper |
Orders of discriminator classes in multivalued logic
Mathematical Notes | 2010-01-12 | Paper |
On solutions to systems of functional equations of multiple-valued logic
Doklady Mathematics | 2009-10-26 | Paper |
The closure operator with the equality predicate branching on the set of partial Boolean functions
Discrete Mathematics and Applications | 2009-10-21 | Paper |
| Finite automata | 2009-04-21 | Paper |
| scientific article; zbMATH DE number 5533356 (Why is no real title available?) | 2009-03-26 | Paper |
| scientific article; zbMATH DE number 5529975 (Why is no real title available?) | 2009-03-18 | Paper |
Positively closed classes of partial Boolean functions
Moscow University Computational Mathematics and Cybernetics | 2009-01-26 | Paper |
Iteration of Boolean \((n,n)\)-operators
Moscow University Computational Mathematics and Cybernetics | 2009-01-20 | Paper |
Strong closure operators on the set of partial Boolean functions
Doklady Mathematics | 2008-10-27 | Paper |
| Finite automata and periodic decompositions of real numbers. | 2008-03-05 | Paper |
On the structure of equationally closed classes
Discrete Mathematics and Applications | 2007-11-02 | Paper |
The equational closure operator
Doklady Mathematics | 2007-10-22 | Paper |
| Functional systems with the superposition operation | 2007-09-18 | Paper |
On the cardinality of the family of precomplete classes in \(P_{E}\)
Mathematical Notes | 2006-10-20 | Paper |
On the structure of partially ordered sets of Boolean degrees
Discrete Mathematics and Applications | 2006-10-10 | Paper |
Equational closure
Discrete Mathematics and Applications | 2006-10-10 | Paper |
Toxicology of nanoparticles
Bulletin of Experimental Biology and Medicine | 2006-07-18 | Paper |
| Closure operators with predicate branching | 2006-03-10 | Paper |
| scientific article; zbMATH DE number 2165209 (Why is no real title available?) | 2005-05-04 | Paper |
On the polynomial computability of some rudimentary predicates.
Mathematical Notes | 2004-12-02 | Paper |
On the complexity of computation of rudimentary predicates
Discrete Mathematics and Applications | 2004-08-30 | Paper |
On the complexity of recurring sequences
Discrete Mathematics and Applications | 2004-08-30 | Paper |
Boolean reducibility
Discrete Mathematics and Applications | 2004-08-30 | Paper |
Clones determined by alternating monoids
Discrete Mathematics and Applications | 2004-08-30 | Paper |
| scientific article; zbMATH DE number 1811326 (Why is no real title available?) | 2002-10-06 | Paper |
Impossibility of constructing continuous functions of \(n+1\) variables from functions of \(n\) variables by means of certain continuous operators
Sbornik: Mathematics | 2002-06-02 | Paper |
| The S-classification of three-valued logic functions. | 2002-04-12 | Paper |
\(A\)-closed classes of idempotent functions of many-valued logic definable by binary relations
Discrete Applied Mathematics | 2002-01-30 | Paper |
On expressibility of functions of many-valued logic in some logical-functional languages
Discrete Mathematics and Applications | 2001-12-18 | Paper |
| Closed classes of Boolean functions. 2nd ed. | 2001-11-08 | Paper |
Functional aspects of the completeness problem for some classes of automaton functions
Discrete Mathematics and Applications | 2001-08-16 | Paper |
The S-classification of functions of many-valued logic
Discrete Mathematics and Applications | 2001-05-10 | Paper |
A-closed classes of many-valued logic containing constants
Discrete Mathematics and Applications | 2001-05-10 | Paper |
\(A\)-classification of functions of many-valued logic
Doklady Mathematics | 2001-01-28 | Paper |
On Slupecki classes for automaton functions
Discrete Mathematics and Applications | 2001-01-04 | Paper |
| scientific article; zbMATH DE number 1544631 (Why is no real title available?) | 2000-12-18 | Paper |
On superpositions of continuous functions defined on the Baire space
Mathematical Notes | 2000-10-16 | Paper |
| scientific article; zbMATH DE number 1429565 (Why is no real title available?) | 2000-06-07 | Paper |
A-classification of idempotent functions of many-valued logic
Discrete Applied Mathematics | 2000-04-16 | Paper |
| scientific article; zbMATH DE number 1205992 (Why is no real title available?) | 1999-09-29 | Paper |
| scientific article; zbMATH DE number 1285546 (Why is no real title available?) | 1999-05-10 | Paper |
Clone classification of dually discriminator algebras with finite support
Mathematical Notes | 1999-03-23 | Paper |
The \(S\)-classification of idempotent algebras with a finite support
Doklady Mathematics | 1998-06-11 | Paper |
Basic relations of the S-classification of functions of the multi-valued logic
Discrete Mathematics and Applications | 1997-03-23 | Paper |
| scientific article; zbMATH DE number 850329 (Why is no real title available?) | 1996-03-20 | Paper |
On precomplete classes in Cartesian products of P 2 and P 3
Discrete Mathematics and Applications | 1995-05-22 | Paper |
| scientific article; zbMATH DE number 4218123 (Why is no real title available?) | 1995-01-01 | Paper |
On the id-decompositions of the class P k over precomplete classes
Discrete Mathematics and Applications | 1994-09-08 | Paper |
On the Slupecki classes in the systems Pk x ... x Pl
Discrete Mathematics and Applications | 1994-09-07 | Paper |
On the uniform id-decomposability of Boolean functions
Discrete Mathematics and Applications | 1994-04-19 | Paper |
| scientific article; zbMATH DE number 497532 (Why is no real title available?) | 1994-03-13 | Paper |
On the completeness in the System P 3 x P 3
Discrete Mathematics and Applications | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 51303 (Why is no real title available?) | 1992-09-18 | Paper |
| scientific article; zbMATH DE number 30982 (Why is no real title available?) | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 23014 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 8116 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 4174914 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4145887 (Why is no real title available?) | 1990-01-01 | Paper |
Existence of infinite bases with respect to superposition in certain classes of one-place functions
Mathematical Notes | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4170973 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4162864 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4170983 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4080912 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4104391 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4116512 (Why is no real title available?) | 1988-01-01 | Paper |
Existence of superposition bases in countable primitively recursively closed classes
Mathematical Notes | 1986-01-01 | Paper |
Existence of finite bases in closed classes of Boolean functions
Algebra and Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3815607 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3801520 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3819803 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3924767 (Why is no real title available?) | 1982-01-01 | Paper |
The complexity of computing exponents
Mathematical Notes | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3813697 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3754660 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3831903 (Why is no real title available?) | 1981-01-01 | Paper |
Complexity of algorithms and computations
Journal of Soviet Mathematics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3743334 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3739841 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3735810 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3685463 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3735811 (Why is no real title available?) | 1980-01-01 | Paper |
Existence of superposition bases in countable primitive-recursively closed classes of one-place functions
Mathematical Notes | 1980-01-01 | Paper |
A superposition basis in the class of Kalmar elementary functions
Mathematical Notes | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3710158 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3710161 (Why is no real title available?) | 1979-01-01 | Paper |
A method for constructing maximal subalgebras of algebras of general recursive functions
Algebra and Logic | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3700793 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3566832 (Why is no real title available?) | 1977-01-01 | Paper |
ON RECURSIVELY ENUMERABLE MINIMAL BTT-DEGREES
Mathematics of the USSR-Sbornik | 1977-01-01 | Paper |
One class of partial sets
Mathematical Notes | 1976-01-01 | Paper |
On the congruence of the upper semilattices of recursively enumerable m- powers and tabular powers
Mathematical Notes | 1976-01-01 | Paper |
The existence of recursively enumerable minimal truth-tabular degrees
Algebra and Logic | 1976-01-01 | Paper |
Tabular powers of maximal sets
Mathematical Notes | 1976-01-01 | Paper |
Elementary Skolem functions
Mathematical Notes | 1975-01-01 | Paper |
The computable enumerations of families of general recursive functions
Algebra and Logic | 1974-01-01 | Paper |
Existence of families without positive numerations
Mathematical Notes | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3405913 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3478850 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3402601 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3383997 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3405912 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3300602 (Why is no real title available?) | 1969-01-01 | Paper |
Elimination of recursion schemas in the Grzegorczyk \(\mathcal{E}^2\) class
Mathematical Notes | 1969-01-01 | Paper |
