Edit Profile (opens in new tab) Semënov, Alekseĭ L’vovich Co-Author Distance Author ID: semenov.aleksei-lvovich 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. more...less Further Spellings: Семёнов Алексей Львович Homepage: https://alsemenov.ru/ External Links: MGP · ORCID · Wikidata · Google Scholar · Math-Net.Ru · dblp Documents Indexed: 49 Publications since 1973, including 2 Books and 2 Additional arXiv Preprints 2 Contributions as Editor · 1 Further Contribution Reviewing Activity: 2 Reviews Biographic References: 2 Publications Co-Authors: 119 Co-Authors with 34 Joint Publications 3,515 Co-Co-Authors 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 all top 5 Serials 11 Russian Mathematical Surveys 4 Soviet Mathematics. Doklady 4 Doklady Mathematics 3 Chebyshevskiĭ Sbornik 2 Mathematics of the USSR. Izvestiya 2 Theoretical Computer Science 2 Lecture Notes in Computer Science 1 Mathematical Notes 1 Moscow University Mathematics Bulletin 1 Physica A 1 Problems of Information Transmission 1 Theory of Probability and its Applications 1 Kybernetika 1 Programming and Computer Software 1 Siberian Mathematical Journal 1 Sibirskiĭ Matematicheskiĭ Zhurnal 1 Annals of Pure and Applied Logic 1 Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 1 Izvestiya: Mathematics 1 Logic Journal of the IGPL 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Mathematics and its Applications (Dordrecht) 1 Proceedings of the Steklov Institute of Mathematics all top 5 Fields 26 Mathematical logic and foundations (03-XX) 18 Computer science (68-XX) 12 History and biography (01-XX) 4 General algebraic systems (08-XX) 3 Group theory and generalizations (20-XX) 3 Probability theory and stochastic processes (60-XX) 2 General and overarching topics; collections (00-XX) 2 Number theory (11-XX) 2 Information and communication theory, circuits (94-XX) 1 Field theory and polynomials (12-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 30 Fields 129 Computer science (68-XX) 82 Mathematical logic and foundations (03-XX) 20 Number theory (11-XX) 12 Probability theory and stochastic processes (60-XX) 10 Dynamical systems and ergodic theory (37-XX) 5 Measure and integration (28-XX) 5 Difference and functional equations (39-XX) 5 Statistics (62-XX) 4 General algebraic systems (08-XX) 4 Group theory and generalizations (20-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Field theory and polynomials (12-XX) 3 Quantum theory (81-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 2 Combinatorics (05-XX) 2 Commutative algebra (13-XX) 2 Ordinary differential equations (34-XX) 2 General topology (54-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 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.