×

Semënov, Alekseĭ L’vovich

Compute Distance To:
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
Documents Indexed: 40 Publications since 1973, including 2 Books
1 Contribution as Editor · 1 Further Contribution
Reviewing Activity: 2 Reviews
Biographic References: 2 Publications
Co-Authors: 80 Co-Authors with 26 Joint Publications
2,511 Co-Co-Authors
all top 5

Co-Authors

14 single-authored
8 Uspenskiĭ, Vladimir Andreevich
7 Muchnik, Andrej A.
5 Soprunov, Sergeĭ Fëdorovich
4 Beklemishev, Lev D.
4 Razborov, Aleksandr Aleksandrovich
3 Bukhshtaber, Viktor Matveevich
3 Lysenok, Igor’ Geront’evich
3 Matiyasevich, Yuriĭ Vladimirovich
3 Novikov, Sergeĭ Petrovich
2 Adyan, Sergeĭ Ivanovich
2 Andreev, Nikolay N.
2 Atabekyan, Varuzhan S.
2 Ershov, Yuriĭ Leonidovich
2 Goncharov, Sergeĭ Savost’yanovich
2 Guba, Victor S.
2 Kozlov, Valeriĭ Vasil’evich
2 Mal’tsev, Arkadiĭ Anatol’evich
2 Osipov, Yuriĭ Sergeevich
2 Pentus, Mati
2 Sadovnichiĭ, Viktor Antonovich
2 Shen’, A. Kh.
1 Adelson-Velsky, Georgy Maximovich
1 Alder, A.
1 Anisimov, Anatoly V.
1 Arkhangel’skiĭ, Dmitriĭ A.
1 Arlazarov, Vladimir L’vovich
1 Baizhanov, Bektur Sembiuly
1 Bārzdiņš, Jānis
1 Bauer, Friedrich Ludwig
1 Belegradek, Oleg V.
1 Belyaev, V. Ya.
1 Bokut, Leonid A.
1 Buda, A.
1 Cherkassky, Boris V.
1 Daderkin, Dmitri O.
1 Dekhtyar, Alexander M.
1 Dikovsky, Alexander Yakovlevich
1 Dinitz, E. 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 Hirsch, Edward A.
1 Ilyashenko, Yulij Sergeevich
1 Kalinina, N. A.
1 Karpenko, S. M.
1 Karzanov, Aleksandr V.
1 Khovanskiĭ, Askold Georgievich
1 Kirillov, Alexandre Aleksandrovich
1 Kleene, Stephen Cole
1 Knuth, Donald Ervin
1 Konovalov, S. P.
1 Konstantinov, N. N.
1 Kronrod, M. A.
1 Krushkal, Samuel L.
1 Kutateladze, Semën Samsonovich
1 Kuznetsov, Oleg P.
1 Letychevs’kyĭ, Oleksandr Adol’fovych
1 Manin, Yuri Ivanovich
1 Mints, Grigoriĭ Efroimovich
1 Musikaev, Ilmir Kh.
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Nesterenko, Yuriĭ Valentinovich
1 Okun, Lev B.
1 Parshin, Alexei N.
1 Pevzner, Pavel A.
1 Plungyan, V. A.
1 Podol’skiĭ, Vladimir Vladimirovich
1 Pritykin, Yu. L.
1 Rakhilina, E. V.
1 Rebrov, A. K.
1 Reshetnyak, Yuriĭ Grigor’evich
1 Sabitov, Idzhad Khakovich
1 Sergeev, Armen Glebovich
1 Shanin, Nikolaĭ Aleksandrovich
1 Shchepin, Evgenij V.
1 Sheĭnman, Oleg Karlovich
1 Shevrin, Lev Naumovich
1 Shtogrin, Mikhail Ivanovich
1 Slisenko, A. O.
1 Slissenko, Anatol
1 Stolboushkin, Alexei P.
1 Strassen, Volker
1 Taimanov, Iskander Asanovich
1 Talambutsa, A. L.
1 Tatevosov, S. G.
1 Tikhomirov, Vladimir Mikhaĭlovich
1 Trakhtenbrot, Boris Avraamovich
1 Treshchev, Dmitriĭ Valer’evich
1 Tseytlin, G. S.
1 Tyugu, Ènn Kharal’dovich
1 Ushakov, Maxim
1 Valiev, Mars K.
1 Vodop’yanov, Sergeĭ Konstantinovich
1 Zel’manov, Efim Isaakovich
1 Zemanek, Heinz
1 Zilber, Boris I.

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 188 times in 165 Documents Cited by Year
Mathematical metaphysics of randomness. Zbl 0922.60014
Muchnik, Andrei A.; Semenov, Alexei L.; Uspensky, Vladimir A.
33
1998
Can an individual sequence of zeros and ones be random? Zbl 0702.03038
Uspenskij, V. A.; Semenov, A. L.; Shen’, A. Kh.
28
1990
Presburgerness of predicates regular in two number systems. Zbl 0411.03054
Semenov, A. L.
20
1977
Logical theories of one-place functions on the set of natural numbers. Zbl 0541.03005
Semenov, A. L.
18
1984
Decidability of monadic theories. Zbl 0553.03005
Semenov, A. L.
17
1984
Almost periodic sequences. Zbl 1044.68100
Muchnik, An.; Semenov, A.; Ushakov, M.
15
2003
Algorithmic problems for power series and context-free grammars. Zbl 0322.68052
Semenov, A. L.
11
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.
7
1980
Theory of algorithms: basic discoveries and applications. (Teoriya algoritmov: osnovnye otkrytiya i prilozheniya). Zbl 0632.68037
Uspenskij, V. A.; Semenov, A. L.
6
1987
Predicates regular in two number systems are Presburger. Zbl 0369.02023
Semenov, A. L.
5
1977
The lattice of definability. Origins, recent developments, and further directions. Zbl 1433.03073
Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir
5
2014
Über gewisse Erweiterungen der Arithmetik für die Addition natürlicher Zahlen. Zbl 0417.03005
Semenov, A. L.
3
1979
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
An interpretation of free algebras in free groups. Zbl 0482.20022
Semenov, A. L.
1
1980
Finiteness conditions for algebras of relations. Zbl 1079.03063
Semenov, A. L.
1
2003
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.
1
2015
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.
1
2015
The lattice of definability. Origins, recent developments, and further directions. Zbl 1433.03073
Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir
5
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
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.
15
2003
Finiteness conditions for algebras of relations. Zbl 1079.03063
Semenov, A. L.
1
2003
Mathematical metaphysics of randomness. Zbl 0922.60014
Muchnik, Andrei A.; Semenov, Alexei L.; Uspensky, Vladimir A.
33
1998
Can an individual sequence of zeros and ones be random? Zbl 0702.03038
Uspenskij, V. A.; Semenov, A. L.; Shen’, A. Kh.
28
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.
18
1984
Decidability of monadic theories. Zbl 0553.03005
Semenov, A. L.
17
1984
On certain extensions of the arithmetic of addition of natural numbers. Zbl 0443.03008
Semenov, A. L.
7
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.
3
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.
20
1977
Predicates regular in two number systems are Presburger. Zbl 0369.02023
Semenov, A. L.
5
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.
11
1973
all top 5

Cited by 210 Authors

6 Semënov, Alekseĭ L’vovich
5 Bès, Alexis
5 Bienvenu, Laurent
5 Merkle, Wolfgang
5 Muchnik, Andrej A.
4 Boigelot, Bernard
4 Durand, Fabien
4 Nies, André Otfrid
4 Rabinovich, Alexander
4 Shen, Alexander
4 Vereshchagin, Nikolay K.
4 V’yugin, Vladimir V.
4 Walukiewicz, Igor
3 Durand, Bruno
3 Egorushkin, Oleg I.
3 Okhotin, Alexander
3 Safonov, Konstantin V.
3 Sirokofskich, Alla
3 Staiger, Ludwig
3 Stephan, Frank
3 Uspenskiĭ, Vladimir Andreevich
3 Villemaire, Roger
2 Alberti, Francesco
2 Benatti, Fabio
2 Blumensath, Achim
2 Brusten, Julien
2 Carayol, Arnaud
2 Cegielski, Patrick
2 Charlier, Emilie
2 Fratani, Séverine
2 Ghilardi, Silvio
2 Gorbunov, Konstantin Yu.
2 Gorelov, Mikhail Aleksandrovich
2 Hirschfeldt, Denis Roman
2 Kanel’-Belov, Alekseĭ Yakovlevich
2 Kolbasina, Irina V.
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 Pritykin, Yu. L.
2 Reimann, Jan
2 Rute, Jason
2 Ryabko, Boris Ya.
2 Sharygina, Natasha
2 Takahashi, Hayato
2 Vesely, Michal
1 Adamczewski, Boris
1 Adyan, Sergeĭ Ivanovich
1 Aleksandrova, S. A.
1 Alvin, Lori
1 Andreev, Nikolay N.
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 Bell, Jason P.
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, Sam
1 Bykova, Valentina Vladimirovna
1 Byszewski, Jakub
1 Cers, Edmunds
1 Chan, Davy Ho-Yuen
1 Chen, Xiaoxing
1 Choffrut, Christian
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 Downey, Rodney Graham
1 Dubacq, Jean-Christophe
1 Elaydi, Saber Nasr
1 Ershov, Yuriĭ Leonidovich
1 Fernau, Henning
1 Formenti, Enrico
1 Frougny, Christiane
1 Gammerman, Alex
1 Gasarch, William Ian
1 Goncharov, Sergeĭ Savost’yanovich
1 Haddad, Axel
1 Hare, Kevin G.
1 Harkins, Ryan C.
1 Harrison, Michael A.
1 Hasil, Petr
...and 110 more Authors
all top 5

Cited in 62 Serials

34 Theoretical Computer Science
11 Annals of Pure and Applied Logic
8 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
3 Moscow University Mathematics Bulletin
3 Russian Mathematics
3 Journal of Difference Equations and Applications
2 Journal of Computer and System Sciences
2 Proceedings of the American Mathematical Society
2 Transactions of the American Mathematical Society
2 Automation and Remote Control
2 Mathematical Logic Quarterly (MLQ)
2 The Bulletin of Symbolic Logic
2 Doklady Mathematics
2 Comptes Rendus. Mathématique. Académie des Sciences, Paris
2 Proceedings of the Steklov Institute of Mathematics
2 Logical Methods in Computer Science
2 Journal of Discrete Mathematics
2 Journal of Siberian Federal University. Mathematics & Physics
2 Prikladnaya Diskretnaya Matematika
1 Discrete Applied Mathematics
1 Information Processing Letters
1 Problems of Information Transmission
1 Russian Mathematical Surveys
1 Mathematics of Computation
1 Advances in Mathematics
1 Applied Mathematics and Computation
1 Functional Analysis and its Applications
1 Fundamenta Mathematicae
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 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 RAIRO. Theoretical Informatics and Applications
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.