×

zbMATH — the first resource for mathematics

Marchenkov, Sergeĭ Serafimovich

Compute Distance To:
Author ID: marchenkov.sergey-s Recent zbMATH articles by "Marchenkov, Sergeĭ Serafimovich"
Published as: Marcenkov, S. S.; Marchenkov, S. S.; Marchenkov, Sergey S.
External Links: MGP · Math-Net.Ru · Wikidata · dblp
Documents Indexed: 155 Publications since 1969, including 6 Books

Publications by Year

Citations contained in zbMATH

83 Publications have been cited 265 times in 116 Documents Cited by Year
Homogeneous algebras. Zbl 0518.08005
Marchenkov, S. S.
14
1982
Closed classes of Boolean functions. Zbl 0965.03074
Marchenkov, S. S.
13
2000
On expressibility of functions of many-valued logic in some logical-functional languages. Zbl 0974.03028
Marchenkov, S. S.
10
1999
The computable enumerations of families of general recursive functions. Zbl 0282.02015
Marcenkov, S. S.
10
1974
Functional systems with the superposition operation. Zbl 1143.03012
Marchenkov, S. S.
9
2004
On a method for the analysis of superpositions of continuous functions. Zbl 0472.26006
Marchenkov, S. S.
9
1980
One class of partial sets. Zbl 0396.03035
Marchenkov, S. S.
9
1976
Unsolvability of the positive \(\forall \exists\)-theory of a free semigroup. Zbl 0578.03024
Marchenkov, S. S.
8
1982
The \(S\)-classification of functions of many-valued logic. Zbl 0964.03024
Marchenkov, S. S.
7
1997
FE classification of functions of many-valued logic. Zbl 1259.03037
Marchenkov, S. S.
6
2011
On classifications of many-valued logic functions by means of automorphism groups. Zbl 1249.03020
Marchenkov, S. S.
6
2011
The closure operator in a multi-valued logic based on functional equations. Zbl 1249.03019
Marchenkov, S. S.
6
2010
The S-classification of three-valued logic functions. Zbl 0991.03028
Marchenkov, S. S.
6
2001
Existence of finite bases in closed classes of Boolean functions. Zbl 0555.03029
Marchenkov, S. S.
6
1984
On the cardinality of the set of precomplete classes in some classes of functions of countably-valued logic. Zbl 0525.03010
Marchenkov, S. S.
6
1981
On closed classes of self-dual functions in a many-valued logic. Zbl 0448.03011
Marchenkov, S. S.
6
1979
On solutions to systems of functional equations of multiple-valued logic. Zbl 1179.03028
Marchenkov, S. S.; Fedorova, V. S.
5
2009
On solutions to the systems of functional Boolean equations. Zbl 1249.06036
Marchenkov, S. S.; Fedorova, V. S.
5
2008
Classification of algebras with alternating automorphism group. Zbl 0712.08004
Marchenkov, S. S.
5
1989
The FE-closure operator in countable-valued logic. Zbl 1323.03024
Marchenkov, S. S.; Kalinina, I. S.
4
2013
Definition of positively closed classes by endomorphism semigroups. Zbl 1284.03169
Marchenkov, S. S.
4
2012
Solutions to the systems of functional equations of multivalued logic. Zbl 1187.03022
Marchenkov, S. S.; Fedorova, V. S.
4
2009
Closure operators with predicate branching. Zbl 1084.03018
Marchenkov, S. S.
4
2003
Positively closed classes of three-valued logic. Zbl 1324.03004
Marchenkov, S. S.
3
2014
Bounded monotone recursion and multihead automata. Zbl 1311.03069
Marchenkov, S. S.
3
2013
On solutions to systems of automata-type functional equations. Zbl 1324.03001
Marchenkov, S. S.
3
2012
Operator of positive closure. Zbl 1276.03022
Marchenkov, S. S.
3
2012
Finite automata. Zbl 1167.68033
Marchenkov, S. S.
3
2008
Superpositions of elementary arithmetic functions. Zbl 1249.03079
Marchenkov, S. S.
3
2006
A criterion for positive completeness in ternary logic. Zbl 1249.03016
Marchenkov, S. S.
3
2006
On the \(id\)-decompositions of the class \(P_ k\) over precomplete classes. Zbl 0802.03019
Marchenkov, S. S.
3
1993
On the completeness in the system \(P_ 3\times P_ 3\). Zbl 0802.03017
Marchenkov, S. S.
3
1992
On the classification of algebras with alternating group of automorphisms. Zbl 0515.08003
Marchenkov, S. S.
3
1982
On closed classes of self-dual functions in \(P_ 3\). Zbl 0469.03046
Marchenkov, S. S.; Demetrovics, J.; Hannak, L.
3
1980
A method for constructing maximal subalgebras of algebras of general recursive functions. Zbl 0431.03029
Marchenkov, S. S.
3
1979
Elimination of recursion schemas in the Grzegorczyk \(\mathcal{E}^2\) class. Zbl 0187.27701
Marcenkov, S. S.
3
1969
Computations on counter machines with summator. Zbl 1397.68077
Marchenkov, S. S.; Savitskii, I. V.
2
2018
On maximal subalgebras of the algebras of unary recursive functions. Zbl 1374.03027
Marchenkov, S. S.
2
2016
Definability in the language of functional equations of a countable-valued logic. Zbl 1312.03025
Marchenkov, S. S.
2
2013
Equational closure. Zbl 1107.03308
Marchenkov, S. S.
2
2005
On superpositions of continuous functions defined on the Baire space. Zbl 1005.26009
Marchenkov, S. S.
2
1999
On Slupecki classes for automaton functions. Zbl 0965.03054
Marchenkov, S. S.
2
1998
\(G\)-precomplete classes of multivalued logic. Zbl 0921.03027
Marchenkov, S. S.
2
1996
The \(S\)-classification of idempotent algebras with a finite support. Zbl 0889.08007
Marchenkov, S. S.
2
1996
Basic relations of the \(S\)-classification of functions of the multi-valued logic. Zbl 0863.03011
Marchenkov, S. S.
2
1996
On the degree of uniform id-expansion of closed classes in \(P_ k\). Zbl 0752.03007
Marchenkov, S. S.
2
1991
Superposition bases in classes of recursive functions. Zbl 0745.03033
Marchenkov, S. S.
2
1991
On uniform id-decomposition of Boolean functions. Zbl 0712.06008
Marchenkov, S. S.
2
1990
On closed classes of self-dual functions of many-valued logic. II. Zbl 0516.03012
Marchenkov, S. S.
2
1983
On homogeneous algebras. Zbl 0474.08001
Marchenkov, S. S.
2
1981
A superposition basis in the class of Kalmar elementary functions. Zbl 0483.03025
Marchenkov, S. S.
2
1980
Die Existenz von Basen bezüglich der Superposition in abzählbaren primitiv-rekursiv abgeschlossenen Klassen einstelliger Funktionen. Zbl 0439.03019
Marchenkov, S. S.
2
1980
On recursively enumerable minimal btt-degrees. Zbl 0397.03026
Marchenkov, S. S.
2
1977
Closure operators with positive connectives and quantifiers. Zbl 1423.03072
Marchenkov, S. S.
1
2017
On the complexity of solutions of systems of functional equations in countable-valued logic. Zbl 1349.03014
Marchenkov, S. S.
1
2015
On the enumeration closure operator in multivalued logic. Zbl 1337.03034
Marchenkov, S. S.
1
2015
Functional equations for the functions of real variables. Zbl 1333.39016
Marchenkov, S. S.
1
2014
Superpositions of continuous functions defined on a Baire space. Zbl 1205.26022
Marchenkov, S. S.; Krivospitsky, S. I.
1
2009
Equationally closed classes of partial Boolean functions. Zbl 1249.06035
Marchenkov, S. S.
1
2008
The closure operator with the equality predicate branching on the set of partial Boolean functions. Zbl 1171.94381
Marchenkov, S. S.
1
2008
Positively closed classes of partial Boolean functions. Zbl 1160.03042
Marchenkov, S. S.; Popova, A. A.
1
2008
Discriminator positively complete classes of ternary logic. Zbl 1249.03017
Marchenkov, S. S.
1
2007
On the structure of partially ordered sets of Boolean degrees. Zbl 1103.94038
Marchenkov, S. S.
1
2006
Boolean degrees defined by classes of linear functions and conjunctions. Zbl 1157.94387
Marchenkov, S. S.; Matveev, S. A.
1
2005
Finite generability of closed classes of Boolean functions. Zbl 1094.06011
Marchenkov, S. S.
1
2005
On the complexity of recurring sequences. Zbl 1051.03031
Marchenkov, S. S.
1
2003
Impossibility of constructing continuous functions of \(n+1\) variables from functions of \(n\) variables by means of certain continuous operators. Zbl 1001.26008
Marchenkov, S. S.
1
2001
Closed classes of Boolean functions. 2nd ed. Izd. 2, ispravl. Zbl 0974.03055
Marchenkov, S. S.
1
2001
Functional aspects of the completeness problem for some classes of automaton functions. Zbl 0966.68103
Marchenkov, S. S.
1
2000
\(A\)-closed classes of many-valued logic containing constants. Zbl 0964.03025
Marchenkov, S. S.
1
1998
The invariants of Post classes. Zbl 0954.03068
Marchenkov, S. S.
1
1998
\(A\)-closed classes of idempotent functions of many-valued logics determined by binary relations. Zbl 0914.03026
Marchenkov, S. S.
1
1998
Clone classification of dually discriminator algebras with finite support. Zbl 0913.08004
Marchenkov, S. S.
1
1997
On closed classes in k-valued logic containing a switching homogeneous function. Zbl 0838.03018
Marchenkov, S. S.
1
1995
On precomplete classes in Cartesian products of \(P_ 2\) and \(P_ 3\). Zbl 0816.03011
Marchenkov, S. S.
1
1994
On the Słupecki classes in the systems \(P_ k\times \dots \times P_ l\). Zbl 0802.03018
Marchenkov, S. S.
1
1992
On representation of lexicographic predicates of an arithmetical hierarchy. Zbl 0714.03039
Marchenkov, S. S.
1
1990
On the uniform \(id\)-decomposability of Boolean functions. Zbl 0787.06014
Marchenkov, S. S.
1
1990
Existence of superposition bases in countable primitively recursively closed classes. Zbl 0637.03037
Marchenkov, S. S.
1
1986
Some remarks on the structure of \(P_ 3\). Zbl 0469.03047
Demetrovics, J.; Hannak, L.; Marchenkov, S. S.
1
1980
Tabular powers of maximal sets. Zbl 0378.02021
Marcenkov, S. S.
1
1976
The existence of recursively enumerable minimal truth-tabular degrees. Zbl 0378.02020
Marcenkov, S. S.
1
1976
On the congruence of the upper semilattices of recursively enumerable m- powers and tabular powers. Zbl 0372.02022
Marcenkov, S. S.
1
1976
Computations on counter machines with summator. Zbl 1397.68077
Marchenkov, S. S.; Savitskii, I. V.
2
2018
Closure operators with positive connectives and quantifiers. Zbl 1423.03072
Marchenkov, S. S.
1
2017
On maximal subalgebras of the algebras of unary recursive functions. Zbl 1374.03027
Marchenkov, S. S.
2
2016
On the complexity of solutions of systems of functional equations in countable-valued logic. Zbl 1349.03014
Marchenkov, S. S.
1
2015
On the enumeration closure operator in multivalued logic. Zbl 1337.03034
Marchenkov, S. S.
1
2015
Positively closed classes of three-valued logic. Zbl 1324.03004
Marchenkov, S. S.
3
2014
Functional equations for the functions of real variables. Zbl 1333.39016
Marchenkov, S. S.
1
2014
The FE-closure operator in countable-valued logic. Zbl 1323.03024
Marchenkov, S. S.; Kalinina, I. S.
4
2013
Bounded monotone recursion and multihead automata. Zbl 1311.03069
Marchenkov, S. S.
3
2013
Definability in the language of functional equations of a countable-valued logic. Zbl 1312.03025
Marchenkov, S. S.
2
2013
Definition of positively closed classes by endomorphism semigroups. Zbl 1284.03169
Marchenkov, S. S.
4
2012
On solutions to systems of automata-type functional equations. Zbl 1324.03001
Marchenkov, S. S.
3
2012
Operator of positive closure. Zbl 1276.03022
Marchenkov, S. S.
3
2012
FE classification of functions of many-valued logic. Zbl 1259.03037
Marchenkov, S. S.
6
2011
On classifications of many-valued logic functions by means of automorphism groups. Zbl 1249.03020
Marchenkov, S. S.
6
2011
The closure operator in a multi-valued logic based on functional equations. Zbl 1249.03019
Marchenkov, S. S.
6
2010
On solutions to systems of functional equations of multiple-valued logic. Zbl 1179.03028
Marchenkov, S. S.; Fedorova, V. S.
5
2009
Solutions to the systems of functional equations of multivalued logic. Zbl 1187.03022
Marchenkov, S. S.; Fedorova, V. S.
4
2009
Superpositions of continuous functions defined on a Baire space. Zbl 1205.26022
Marchenkov, S. S.; Krivospitsky, S. I.
1
2009
On solutions to the systems of functional Boolean equations. Zbl 1249.06036
Marchenkov, S. S.; Fedorova, V. S.
5
2008
Finite automata. Zbl 1167.68033
Marchenkov, S. S.
3
2008
Equationally closed classes of partial Boolean functions. Zbl 1249.06035
Marchenkov, S. S.
1
2008
The closure operator with the equality predicate branching on the set of partial Boolean functions. Zbl 1171.94381
Marchenkov, S. S.
1
2008
Positively closed classes of partial Boolean functions. Zbl 1160.03042
Marchenkov, S. S.; Popova, A. A.
1
2008
Discriminator positively complete classes of ternary logic. Zbl 1249.03017
Marchenkov, S. S.
1
2007
Superpositions of elementary arithmetic functions. Zbl 1249.03079
Marchenkov, S. S.
3
2006
A criterion for positive completeness in ternary logic. Zbl 1249.03016
Marchenkov, S. S.
3
2006
On the structure of partially ordered sets of Boolean degrees. Zbl 1103.94038
Marchenkov, S. S.
1
2006
Equational closure. Zbl 1107.03308
Marchenkov, S. S.
2
2005
Boolean degrees defined by classes of linear functions and conjunctions. Zbl 1157.94387
Marchenkov, S. S.; Matveev, S. A.
1
2005
Finite generability of closed classes of Boolean functions. Zbl 1094.06011
Marchenkov, S. S.
1
2005
Functional systems with the superposition operation. Zbl 1143.03012
Marchenkov, S. S.
9
2004
Closure operators with predicate branching. Zbl 1084.03018
Marchenkov, S. S.
4
2003
On the complexity of recurring sequences. Zbl 1051.03031
Marchenkov, S. S.
1
2003
The S-classification of three-valued logic functions. Zbl 0991.03028
Marchenkov, S. S.
6
2001
Impossibility of constructing continuous functions of \(n+1\) variables from functions of \(n\) variables by means of certain continuous operators. Zbl 1001.26008
Marchenkov, S. S.
1
2001
Closed classes of Boolean functions. 2nd ed. Izd. 2, ispravl. Zbl 0974.03055
Marchenkov, S. S.
1
2001
Closed classes of Boolean functions. Zbl 0965.03074
Marchenkov, S. S.
13
2000
Functional aspects of the completeness problem for some classes of automaton functions. Zbl 0966.68103
Marchenkov, S. S.
1
2000
On expressibility of functions of many-valued logic in some logical-functional languages. Zbl 0974.03028
Marchenkov, S. S.
10
1999
On superpositions of continuous functions defined on the Baire space. Zbl 1005.26009
Marchenkov, S. S.
2
1999
On Slupecki classes for automaton functions. Zbl 0965.03054
Marchenkov, S. S.
2
1998
\(A\)-closed classes of many-valued logic containing constants. Zbl 0964.03025
Marchenkov, S. S.
1
1998
The invariants of Post classes. Zbl 0954.03068
Marchenkov, S. S.
1
1998
\(A\)-closed classes of idempotent functions of many-valued logics determined by binary relations. Zbl 0914.03026
Marchenkov, S. S.
1
1998
The \(S\)-classification of functions of many-valued logic. Zbl 0964.03024
Marchenkov, S. S.
7
1997
Clone classification of dually discriminator algebras with finite support. Zbl 0913.08004
Marchenkov, S. S.
1
1997
\(G\)-precomplete classes of multivalued logic. Zbl 0921.03027
Marchenkov, S. S.
2
1996
The \(S\)-classification of idempotent algebras with a finite support. Zbl 0889.08007
Marchenkov, S. S.
2
1996
Basic relations of the \(S\)-classification of functions of the multi-valued logic. Zbl 0863.03011
Marchenkov, S. S.
2
1996
On closed classes in k-valued logic containing a switching homogeneous function. Zbl 0838.03018
Marchenkov, S. S.
1
1995
On precomplete classes in Cartesian products of \(P_ 2\) and \(P_ 3\). Zbl 0816.03011
Marchenkov, S. S.
1
1994
On the \(id\)-decompositions of the class \(P_ k\) over precomplete classes. Zbl 0802.03019
Marchenkov, S. S.
3
1993
On the completeness in the system \(P_ 3\times P_ 3\). Zbl 0802.03017
Marchenkov, S. S.
3
1992
On the Słupecki classes in the systems \(P_ k\times \dots \times P_ l\). Zbl 0802.03018
Marchenkov, S. S.
1
1992
On the degree of uniform id-expansion of closed classes in \(P_ k\). Zbl 0752.03007
Marchenkov, S. S.
2
1991
Superposition bases in classes of recursive functions. Zbl 0745.03033
Marchenkov, S. S.
2
1991
On uniform id-decomposition of Boolean functions. Zbl 0712.06008
Marchenkov, S. S.
2
1990
On representation of lexicographic predicates of an arithmetical hierarchy. Zbl 0714.03039
Marchenkov, S. S.
1
1990
On the uniform \(id\)-decomposability of Boolean functions. Zbl 0787.06014
Marchenkov, S. S.
1
1990
Classification of algebras with alternating automorphism group. Zbl 0712.08004
Marchenkov, S. S.
5
1989
Existence of superposition bases in countable primitively recursively closed classes. Zbl 0637.03037
Marchenkov, S. S.
1
1986
Existence of finite bases in closed classes of Boolean functions. Zbl 0555.03029
Marchenkov, S. S.
6
1984
On closed classes of self-dual functions of many-valued logic. II. Zbl 0516.03012
Marchenkov, S. S.
2
1983
Homogeneous algebras. Zbl 0518.08005
Marchenkov, S. S.
14
1982
Unsolvability of the positive \(\forall \exists\)-theory of a free semigroup. Zbl 0578.03024
Marchenkov, S. S.
8
1982
On the classification of algebras with alternating group of automorphisms. Zbl 0515.08003
Marchenkov, S. S.
3
1982
On the cardinality of the set of precomplete classes in some classes of functions of countably-valued logic. Zbl 0525.03010
Marchenkov, S. S.
6
1981
On homogeneous algebras. Zbl 0474.08001
Marchenkov, S. S.
2
1981
On a method for the analysis of superpositions of continuous functions. Zbl 0472.26006
Marchenkov, S. S.
9
1980
On closed classes of self-dual functions in \(P_ 3\). Zbl 0469.03046
Marchenkov, S. S.; Demetrovics, J.; Hannak, L.
3
1980
A superposition basis in the class of Kalmar elementary functions. Zbl 0483.03025
Marchenkov, S. S.
2
1980
Die Existenz von Basen bezüglich der Superposition in abzählbaren primitiv-rekursiv abgeschlossenen Klassen einstelliger Funktionen. Zbl 0439.03019
Marchenkov, S. S.
2
1980
Some remarks on the structure of \(P_ 3\). Zbl 0469.03047
Demetrovics, J.; Hannak, L.; Marchenkov, S. S.
1
1980
On closed classes of self-dual functions in a many-valued logic. Zbl 0448.03011
Marchenkov, S. S.
6
1979
A method for constructing maximal subalgebras of algebras of general recursive functions. Zbl 0431.03029
Marchenkov, S. S.
3
1979
On recursively enumerable minimal btt-degrees. Zbl 0397.03026
Marchenkov, S. S.
2
1977
One class of partial sets. Zbl 0396.03035
Marchenkov, S. S.
9
1976
Tabular powers of maximal sets. Zbl 0378.02021
Marcenkov, S. S.
1
1976
The existence of recursively enumerable minimal truth-tabular degrees. Zbl 0378.02020
Marcenkov, S. S.
1
1976
On the congruence of the upper semilattices of recursively enumerable m- powers and tabular powers. Zbl 0372.02022
Marcenkov, S. S.
1
1976
The computable enumerations of families of general recursive functions. Zbl 0282.02015
Marcenkov, S. S.
10
1974
Elimination of recursion schemas in the Grzegorczyk \(\mathcal{E}^2\) class. Zbl 0187.27701
Marcenkov, S. S.
3
1969
all top 5

Cited by 76 Authors

45 Marchenkov, Sergeĭ Serafimovich
4 Durnev, Valeriĭ Georgievich
4 Omanadze, Roland Sh.
3 Fedorova, Valentina Sergeevna
3 Kalinina, I. S.
3 Savitskii, I. V.
3 Taimanov, Vladimir A.
2 Alekhina, Marina An.
2 Barsukova, O. Yu.
2 Batyrshin, Ilnur I.
2 Chernyshev, Anatoliy V.
2 Chitaia, Irakli O.
2 Dëgtev, A. N.
2 Haught, Christine Ann
2 Issakhov, A. A.
2 Nies, André Otfrid
2 Podol’ko, D. K.
2 Ryabets, Leonid Vladimirovich
2 Selivanov, Viktor L’vovich
2 Zetkina, O. V.
2 Zhuk, Dmitriy N.
1 Alekseev, D. V.
1 Ambos-Spies, Klaus
1 Arslanov, Marat M.
1 Babin, Dmitriĭ Nikolaevich
1 Badaev, Serikzhan A.
1 Csákány, Béla
1 Dalmau, Víctor
1 Darkhovsky, Boris S.
1 Denisov, S. D.
1 Diekert, Volker
1 Downey, Rodney Graham
1 Esin, A. Alptekin
1 Głazek, Kazimierz
1 Goldstern, Martin Robert
1 Gutiérrez, Claudio
1 Hagenah, Christian
1 Ho, Kejia
1 Kolmakov, E. A.
1 Krivospitsky, S. I.
1 Kucherov, Gregory
1 Kummer, Martin
1 Larionov, Vitalij Borisovich
1 Lavrov, Igor Andreevich
1 Lehtonen, Erkko
1 Mamontov, Andrei I.
1 Mazzanti, Stefano
1 Meshchaninov, Dmitry G.
1 Miyakawa, Masahiro
1 Mykytyuk, Ihor V.
1 Nguyen Van Khoa
1 Odifreddi, Piergiorgio
1 Osipov, K. V.
1 Panteleev, Vladimir Innokent’evich
1 Peryazev, Nikolaĭ Alekseevich
1 Pinus, Aleksandr Georgievich
1 Popova, Anna A.
1 Prostov, V. A.
1 Rodin, A. A.
1 Rusinowitch, Michaël
1 Schein, Boris M.
1 Schwichtenberg, Helmut
1 Sedletskiĭ, Anatoliĭ Mechislavovich
1 Shelah, Saharon
1 Shore, Richard A.
1 Starodubtsev, Dmitry E.
1 Stephan, Frank
1 Stojmenović, Ivan
1 Szederkényi, A.
1 Szendrei, Ágnes
1 Tarasov, P. B.
1 Tarasov, Valery V.
1 Vorobyov, Sergei
1 Yomdin, Yosef
1 Zetkina, A. I.
1 Zverovich, Igor Edmundovich

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.