×

zbMATH — the first resource for mathematics

Semenov, Alexei Lvovich

Compute Distance To:
Author ID: semenov.alexei-l Recent zbMATH articles by "Semenov, Alexei Lvovich"
Published as: Semenov, A. L.; Semenov, Alexei; Semenov, Alexei L.; Semenov, Aleksej; Semënov, A. L.; Semenov, A.
External Links: MGP · Wikidata
Documents Indexed: 37 Publications since 1973, including 3 Books
all top 5

Co-Authors

14 single-authored
7 Uspenskiĭ, Vladimir Andreevich
6 Muchnik, Andrej A.
3 Beklemishev, Lev D.
3 Bukhshtaber, Viktor Matveevich
3 Novikov, Sergeĭ Petrovich
3 Razborov, Aleksandr Aleksandrovich
2 Adyan, Sergeĭ Ivanovich
2 Andreev, N. N.
2 Ershov, Yuriĭ Leonidovich
2 Goncharov, Sergeĭ Savost’yanovich
2 Kozlov, Valeriĭ Vasil’evich
2 Lysenok, Igor’ Geront’evich
2 Mal’tsev, Arkadiĭ Anatol’evich
2 Matiyasevich, Yuriĭ Vladimirovich
2 Osipov, Yuriĭ Sergeevich
2 Pentus, Mati
2 Sadovnichiĭ, Viktor Antonovich
2 Shen’, A. Kh.
2 Soprunov, S. F.
1 Arkhangel’skiĭ, Dmitriĭ A.
1 Arlazarov, Vladimir L’vovich
1 Atabekyan, Varuzhan S.
1 Baizhanov, Bektur Sembiuly
1 Belegradek, Oleg V.
1 Belyaev, V. Ya.
1 Bokut, Leonid 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 Faradzhev, Igor Aleksandrovich
1 Garber, Alexeĭ Igorevich
1 Gitik, Moti
1 Guba, Victor S.
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 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 Mints, Grigoriĭ Efroimovich
1 Muchnik, An. A.
1 Musikaev, Ilmir Kh.
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 Shchepin, Evgenij V.
1 Sheĭnman, Oleg Karlovich
1 Shevrin, Lev Naumovich
1 Shtogrin, Mikhail Ivanovich
1 Slissenko, Anatol
1 Soprunov, Sergey
1 Stolboushkin, Alexei P.
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 Ushakov, Maxim
1 Valiev, Mars K.
1 Vodop’yanov, Sergeĭ Konstantinovich
1 Zel’manov, Efim Isaakovich
1 Zilber, Boris I.

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 179 times in 159 Documents Cited by Year
Mathematical metaphysics of randomness. Zbl 0922.60014
Muchnik, Andrei A.; Semenov, Alexei L.; Uspensky, Vladimir A.
30
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.
19
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.
10
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.
4
1977
The lattice of definability. Origins, recent developments, and further directions. Zbl 1433.03073
Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir
4
2014
Some algorithmic problems for systems of algorithmic algebras. Zbl 0402.68036
Semenov, A. L.
3
1978
Über gewisse Erweiterungen der Arithmetik für die Addition natürlicher Zahlen. Zbl 0417.03005
Semenov, A. L.
3
1979
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
Finiteness conditions for algebras of relations. Zbl 1079.03063
Semenov, A. L.
1
2003
An interpretation of free algebras in free groups. Zbl 0482.20022
Semenov, A. L.
1
1980
The lattice of definability. Origins, recent developments, and further directions. Zbl 1433.03073
Semenov, Alexei; Soprunov, Sergey; Uspensky, Vladimir
4
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.
30
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.
19
1977
Predicates regular in two number systems are Presburger. Zbl 0369.02023
Semenov, A. L.
4
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.
10
1973
all top 5

Cited by 200 Authors

5 Bès, Alexis
5 Bienvenu, Laurent
5 Merkle, Wolfgang
4 Boigelot, Bernard
4 Durand, Fabien
4 Nies, André Otfrid
4 Rabinovich, Alexander
4 Shen, Alexander
4 V’yugin, Vladimir V.
4 Walukiewicz, Igor
3 Durand, Bruno
3 Egorushkin, Oleg I.
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 Khoussainov, Bakhadyr M.
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 V.
2 Muchnik, Andrej A.
2 Okhotin, Alexander
2 Pritykin, Yu. L.
2 Reimann, Jan
2 Rute, Jason
2 Ryabko, Boris Ya.
2 Semenov, Alexei Lvovich
2 Sharygina, Natasha
2 Takahashi, Hayato
2 Vereshchagin, Nikolai K.
2 Vereshchagin, Nikolay K.
2 Vesely, Michal
1 Adamczewski, Boris
1 Adyan, Sergeĭ Ivanovich
1 Aleksandrova, S. A.
1 Alvin, Lori
1 Andreev, N. N.
1 Astola, Jaakko T.
1 Asveld, P. R. J. P. R. J.
1 Barvinok, Vitaliĭ Alekseevich
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 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 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
1 Havel, Ivan M.
1 Henson, C. Ward
1 Hird, Geoffrey R.
1 Hitchcock, John M.
...and 100 more Authors
all top 5

Cited in 59 Serials

34 Theoretical Computer Science
11 Annals of Pure and Applied Logic
6 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 Physica D
1 Discrete & Computational Geometry
1 Journal of Automated 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 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

Wikidata Timeline

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