×

Semënov, Alekseĭ L’vovich

Author ID: semenov.aleksei-lvovich Recent zbMATH articles by "Semënov, Alekseĭ L’vovich"
Published as: Semenov, A. L.; Semenov, Alexei L.; Semenov, Alexei; Semenov, Alekseĭ L’vovich; Semenov, Aleksei L.; Semenov, Aleksej; Semënov, A. L.; Semenov, A.
Further Spellings: Семёнов Алексей Львович
Homepage: https://alsemenov.ru/
External Links: MGP · ORCID · Wikidata · Google Scholar · Math-Net.Ru · dblp
all top 5

Co-Authors

15 single-authored
8 Soprunov, Sergeĭ Fëdorovich
8 Uspenskiĭ, Vladimir Andreevich
7 Muchnik, Andrej A.
5 Beklemishev, Lev D.
4 Matiyasevich, Yuriĭ Vladimirovich
4 Razborov, Aleksandr Aleksandrovich
4 Shen’, A. Kh.
3 Bukhshtaber, Viktor Matveevich
3 Kozlov, Valeriĭ Vasil’evich
3 Lysenok, Igor’ Geront’evich
3 Novikov, Sergeĭ Petrovich
3 Tikhomirov, Vladimir Mikhaĭlovich
2 Adyan, Sergeĭ Ivanovich
2 Andreev, Nikolaĭ Nikolaevich
2 Arlazarov, Vladimir L’vovich
2 Atabekyan, Varuzhan S.
2 Chirskiĭ, Vladimir Grigor’evich
2 Chubarikov, Vladimir Nikolaevich
2 Dobrovol’skiĭ, Nikolaĭ Mikhaĭlovich
2 Ershov, Yuriĭ Leonidovich
2 Goncharov, Sergeĭ Savost’yanovich
2 Guba, Victor S.
2 Hirsch, Edward A.
2 Ilyashenko, Yulij Sergeevich
2 Khovanskiĭ, Askold Georgievich
2 Mal’tsev, Arkadiĭ Anatol’evich
2 Nesterenko, Yuriĭ Valentinovich
2 Osipov, Yuriĭ Sergeevich
2 Pentus, Mati
2 Sadovnichiĭ, Viktor Antonovich
1 Adelson-Velsky, Georgy
1 Alder, A.
1 Anisimov, Anatoly V.
1 Arkhangel’skiĭ, Dmitriĭ A.
1 Artemov, Sergei
1 Baizhanov, Bektur Sembiuly
1 Balaba, Irina Nikolaevna
1 Bārzdiņš, Jānis
1 Bauer, Friedrich Ludwig
1 Belegradek, Oleg V.
1 Belyaev, V. Ya.
1 Bokut, Leonid A.
1 Borkin, L. Ya.
1 Buda, A.
1 Bugaenko, V. O.
1 Bukhstaber, V. M.
1 Cherkassky, Boris V.
1 Chinenova, Vera Nikolaevna
1 Daderkin, Dmitri O.
1 Dantsin, Evgeny
1 Dekhtyar, Alexander M.
1 Demidov, Sergeĭ Sergeevich
1 Dikovsky, Alexander Yakovlevich
1 Dinitz, E. A.
1 Dobrovol’skiĭ, Nikolai Nikolaevich
1 Dorichenko, S. A.
1 Dudakov, Sergey M.
1 Ershov, Andreĭ Petrovich
1 Faradzhev, Igor Aleksandrovich
1 Garber, Alexeĭ Igorevich
1 Gitik, Moti
1 Glushkov, Viktor Mikhaĭlovich
1 Gurevich, Yuri
1 Ibragimov, Il’dar Abdullovich
1 Imaikin, Valery
1 Ivanov-Pogodaev, Ilya
1 Ivanov, Aleksandr Olegovich
1 Kalinina, N. A.
1 Kalmens, E. V.
1 Kanel’-Belov, Alekseĭ Yakovlevich
1 Karpenko, S. M.
1 Karzanov, Aleksandr V.
1 Kirillov, Alexandre Aleksandrovich
1 Kleene, Stephen Cole
1 Knuth, Donald Ervin
1 Komarov, S. I.
1 Konovalov, Sergeĭ Petrovich
1 Konstantinov, Nikolaĭ Nikolaevich
1 Koubenski, D. A.
1 Kozlov, Mykyta V.
1 Kreinovich, Vladik Yakovlevich
1 Kronrod, M. A.
1 Krushkal, Samuel L.
1 Kushnirenko, A. G.
1 Kutateladze, Semën Samsonovich
1 Kuznetsov, Oleg P.
1 Letychevs’kyĭ, Oleksandr Adol’fovych
1 Lodkin, A. A.
1 Lysov, Yu. P.
1 Manin, Yuriĭ Ivanovich
1 Mints, Grigoriĭ Efroimovich
1 Musikaev, Ilmir Kh.
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Novikov, B. A.
1 Okun, Lev B.
1 Orevkov, V. P.
1 Parshin, Alekseĭ Nikolaevich
1 Pevzner, Pavel A.
1 Plungyan, V. A.
1 Podol’skiĭ, Vladimir Vladimirovich
...and 41 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 218 times in 188 Documents Cited by Year
Mathematical metaphysics of randomness. Zbl 0922.60014
Muchnik, Andrei A.; Semenov, Alexei L.; Uspensky, Vladimir A.
35
1998
Can an individual sequence of zeros and ones be random? Zbl 0702.03038
Uspenskij, V. A.; Semenov, A. L.; Shen’, A. Kh.
30
1990
Presburgerness of predicates regular in two number systems. Zbl 0411.03054
Semenov, A. L.
24
1977
Logical theories of one-place functions on the set of natural numbers. Zbl 0541.03005
Semenov, A. L.
22
1984
Decidability of monadic theories. Zbl 0553.03005
Semenov, A. L.
20
1984
Almost periodic sequences. Zbl 1044.68100
Muchnik, An.; Semenov, A.; Ushakov, M.
16
2003
Algorithmic problems for power series and context-free grammars. Zbl 0322.68052
Semenov, A. L.
13
1973
Sequences close to periodic. Zbl 1208.03017
Muchnik, An. A.; Pritykin, Yu. L.; Semenov, A. L.
9
2009
On certain extensions of the arithmetic of addition of natural numbers. Zbl 0443.03008
Semenov, A. L.
9
1980
Predicates regular in two number systems are Presburger. Zbl 0369.02023
Semenov, A. L.
8
1977
Theory of algorithms: basic discoveries and applications. (Teoriya algoritmov: osnovnye otkrytiya i prilozheniya). Zbl 0632.68037
Uspenskij, V. A.; Semenov, A. L.
6
1987
The lattice of definability. Origins, recent developments, and further directions. Zbl 1433.03073
Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir
6
2014
Über gewisse Erweiterungen der Arithmetik für die Addition natürlicher Zahlen. Zbl 0417.03005
Semenov, A. L.
4
1979
Finiteness conditions for algebras of relations. Zbl 1079.03063
Semenov, A. L.
3
2003
Some algorithmic problems for systems of algorithmic algebras. Zbl 0402.68036
Semenov, A. L.
3
1978
Regularity of languages k-linear for various k. Zbl 0307.68061
Semenov, A. L.
2
1974
Nikolai Petrovich Dolbilin (on his 70th birthday). Zbl 1291.01031
Andreev, N. N.; Buchstaber, V. M.; Garber, A. I.; Kozlov, V. V.; Konovalov, S. P.; Mal’tsev, A. A.; Nesterenko, Yu V.; Novikov, S. P.; Parshin, A. N.; Sabitov, I. Kh; Semenov, A. L.; Sergeev, A. G.; Sheinman, O. K.; Shtogrin, M. I.; Shchepin, E. V.
2
2014
A combinatorial version of the Svenonius theorem on definability. Zbl 1405.03076
Semenov, A. L.; Soprunov, S. F.
2
2015
Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035
1
1981
An interpretation of free algebras in free groups. Zbl 0482.20022
Semenov, A. L.
1
1980
Algorithms: Main ideas and applications. Transl. from the Russian by A. Shen. Zbl 0786.68032
Uspenskij, Vladimir; Semenov, Aleksej
1
1993
Finite quantifier hierarchies in relational algebras. Zbl 1294.03024
Semenov, A. L.; Soprunov, S. F.
1
2011
Lattice of definability in the order of rational numbers. Zbl 1485.03177
Muchnik, An. A.; Semenov, A. L.
1
2020
Lattice of definability in the order of rational numbers. Zbl 1485.03177
Muchnik, An. A.; Semenov, A. L.
1
2020
A combinatorial version of the Svenonius theorem on definability. Zbl 1405.03076
Semenov, A. L.; Soprunov, S. F.
2
2015
The lattice of definability. Origins, recent developments, and further directions. Zbl 1433.03073
Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir
6
2014
Nikolai Petrovich Dolbilin (on his 70th birthday). Zbl 1291.01031
Andreev, N. N.; Buchstaber, V. M.; Garber, A. I.; Kozlov, V. V.; Konovalov, S. P.; Mal’tsev, A. A.; Nesterenko, Yu V.; Novikov, S. P.; Parshin, A. N.; Sabitov, I. Kh; Semenov, A. L.; Sergeev, A. G.; Sheinman, O. K.; Shtogrin, M. I.; Shchepin, E. V.
2
2014
Finite quantifier hierarchies in relational algebras. Zbl 1294.03024
Semenov, A. L.; Soprunov, S. F.
1
2011
Sequences close to periodic. Zbl 1208.03017
Muchnik, An. A.; Pritykin, Yu. L.; Semenov, A. L.
9
2009
Almost periodic sequences. Zbl 1044.68100
Muchnik, An.; Semenov, A.; Ushakov, M.
16
2003
Finiteness conditions for algebras of relations. Zbl 1079.03063
Semenov, A. L.
3
2003
Mathematical metaphysics of randomness. Zbl 0922.60014
Muchnik, Andrei A.; Semenov, Alexei L.; Uspensky, Vladimir A.
35
1998
Algorithms: Main ideas and applications. Transl. from the Russian by A. Shen. Zbl 0786.68032
Uspenskij, Vladimir; Semenov, Aleksej
1
1993
Can an individual sequence of zeros and ones be random? Zbl 0702.03038
Uspenskij, V. A.; Semenov, A. L.; Shen’, A. Kh.
30
1990
Theory of algorithms: basic discoveries and applications. (Teoriya algoritmov: osnovnye otkrytiya i prilozheniya). Zbl 0632.68037
Uspenskij, V. A.; Semenov, A. L.
6
1987
Logical theories of one-place functions on the set of natural numbers. Zbl 0541.03005
Semenov, A. L.
22
1984
Decidability of monadic theories. Zbl 0553.03005
Semenov, A. L.
20
1984
Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035
1
1981
On certain extensions of the arithmetic of addition of natural numbers. Zbl 0443.03008
Semenov, A. L.
9
1980
An interpretation of free algebras in free groups. Zbl 0482.20022
Semenov, A. L.
1
1980
Über gewisse Erweiterungen der Arithmetik für die Addition natürlicher Zahlen. Zbl 0417.03005
Semenov, A. L.
4
1979
Some algorithmic problems for systems of algorithmic algebras. Zbl 0402.68036
Semenov, A. L.
3
1978
Presburgerness of predicates regular in two number systems. Zbl 0411.03054
Semenov, A. L.
24
1977
Predicates regular in two number systems are Presburger. Zbl 0369.02023
Semenov, A. L.
8
1977
Regularity of languages k-linear for various k. Zbl 0307.68061
Semenov, A. L.
2
1974
Algorithmic problems for power series and context-free grammars. Zbl 0322.68052
Semenov, A. L.
13
1973
all top 5

Cited by 229 Authors

7 Semënov, Alekseĭ L’vovich
6 Bès, Alexis
5 Bienvenu, Laurent
5 Merkle, Wolfgang
5 Muchnik, Andrej A.
4 Boigelot, Bernard
4 Durand, Fabien
4 Egorushkin, Oleg I.
4 Nies, André Otfrid
4 Rabinovich, Alexander
4 Safonov, Konstantin V.
4 Shen, Alexander
4 Stephan, Frank
4 Vereshchagin, Nikolay K.
4 Villemaire, Roger
4 V’yugin, Vladimir V.
4 Walukiewicz, Igor
3 Durand, Bruno
3 Kolbasina, Irina V.
3 Okhotin, Alexander
3 Sirokofskich, Alla
3 Staiger, Ludwig
3 Uspenskiĭ, Vladimir Andreevich
2 Alberti, Francesco
2 Bell, Jason P.
2 Benatti, Fabio
2 Blumensath, Achim
2 Brusten, Julien
2 Carayol, Arnaud
2 Cegielski, Patrick
2 Charlier, Emilie
2 Choffrut, Christian
2 Downey, Rodney Graham
2 Fratani, Séverine
2 Ghilardi, Silvio
2 Gorbunov, Konstantin Yu.
2 Gorelov, Mikhail Aleksandrovich
2 Hirschfeldt, Denis Roman
2 Jain, Sanjay
2 Kanel’-Belov, Alekseĭ Yakovlevich
2 Konieczny, Jakub
2 Korneeva, Natalia N.
2 Kuske, Dietrich
2 Lutz, Jack H.
2 Maes, Arnaud
2 Michaux, Christian
2 Michel, Pascal
2 Miller, Joseph S.
2 Mitrofanov, Ivan Viktorovich
2 Porter, Christopher P.
2 Pritykin, Yu. L.
2 Reimann, Jan
2 Ryabko, Boris Ya.
2 Sharygina, Natasha
2 Soprunov, Sergeĭ Fëdorovich
2 Steifer, Tomasz
2 Takahashi, Hayato
2 Thomas, Wolfgang
2 Vesely, Michal
1 Adamczewski, Boris
1 Adyan, Sergeĭ Ivanovich
1 Albayrak, Seda
1 Aleksandrova, S. A.
1 Alvin, Lori
1 Andreev, Nikolaĭ Nikolaevich
1 Astola, Jaakko T.
1 Asveld, P. R. J. P. R. J.
1 Bakinova, Ekaterina
1 Barvinok, Vitaliĭ Alekseevich
1 Basharin, Artem
1 Batmanov, Igor
1 Bazhenov, Nikolaĭ Alekseevich
1 Beklemishev, Lev D.
1 Bodirsky, Manuel
1 Bogdanovich, Valeriĭ Iosifovich
1 Bradfield, Julian Charles
1 Bukhshtaber, Viktor Matveevich
1 Buls, Jānis
1 Bunkova, Elena Yur’evna
1 Buss, Samuel R.
1 Bykova, Valentina Vladimirovna
1 Byszewski, Jakub
1 Cers, Edmunds
1 Chan, Davy Ho-Yuen
1 Chen, Xiaoxing
1 Chen, Yu-Fang
1 Compton, Kevin J.
1 Cortez, Maria Isabel
1 Courcelle, Bruno
1 Dalmau, Víctor
1 De Bock, Jasper
1 de Cooman, Gert
1 Diagana, Toka
1 Douéneau-Tabot, Gaëtan
1 Dubacq, Jean-Christophe
1 Elaydi, Saber Nasr
1 Ershov, Yuriĭ Leonidovich
1 Faĭzrahmanov, Marat Khaidarovich
1 Fernau, Henning
1 Formenti, Enrico
...and 129 more Authors
all top 5

Cited in 69 Serials

36 Theoretical Computer Science
11 Annals of Pure and Applied Logic
9 Information and Computation
5 The Journal of Symbolic Logic
5 Theory of Computing Systems
4 Mathematical Notes
4 International Journal of Foundations of Computer Science
4 Mathematical Logic Quarterly (MLQ)
4 Doklady Mathematics
4 Logical Methods in Computer Science
3 Moscow University Mathematics Bulletin
3 Journal of Computer and System Sciences
3 Russian Mathematics
3 Journal of Difference Equations and Applications
3 Prikladnaya Diskretnaya Matematika
2 Proceedings of the American Mathematical Society
2 Transactions of the American Mathematical Society
2 Automation and Remote Control
2 The Bulletin of Symbolic Logic
2 Comptes Rendus. Mathématique. Académie des Sciences, Paris
2 Proceedings of the Steklov Institute of Mathematics
2 Journal of Discrete Mathematics
2 Journal of Siberian Federal University. Mathematics & Physics
1 Acta Informatica
1 Discrete Applied Mathematics
1 Information Processing Letters
1 Israel Journal of Mathematics
1 Problems of Information Transmission
1 Russian Mathematical Surveys
1 Mathematics of Computation
1 Acta Arithmetica
1 Advances in Mathematics
1 Applied Mathematics and Computation
1 Functional Analysis and its Applications
1 Fundamenta Mathematicae
1 Journal of Algebra
1 Journal of Soviet Mathematics
1 Mathematical Systems Theory
1 Siberian Mathematical Journal
1 Cybernetics
1 Ergodic Theory and Dynamical Systems
1 Combinatorica
1 Physica D
1 Discrete & Computational Geometry
1 Journal of Automated Reasoning
1 International Journal of Approximate Reasoning
1 Stochastic Processes and their Applications
1 Archive for Mathematical Logic
1 Cybernetics and Systems Analysis
1 Journal de Théorie des Nombres de Bordeaux
1 Journal of Mathematical Sciences (New York)
1 Annals of Mathematics and Artificial Intelligence
1 Izvestiya: Mathematics
1 Open Systems & Information Dynamics
1 Communications in Nonlinear Science and Numerical Simulation
1 RAIRO. Theoretical Informatics and Applications
1 Fundamenta Informaticae
1 Nonlinear Analysis. Real World Applications
1 Discrete and Continuous Dynamical Systems. Series B
1 Natural Computing
1 Journal of Applied Mathematics and Computing
1 Central European Journal of Mathematics
1 ACM Transactions on Computational Logic
1 Foundations of Physics
1 Vestnik Samarskogo Gosudarstvennogo Tekhnicheskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki
1 The Review of Symbolic Logic
1 RAIRO. Theoretical Informatics and Applications
1 Computability
1 Computer Science Review

Citations by Year

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