A. L. Semenov
- Presburgerness of predicates regular in two number systems
1977/03/01 by A. L. Semenov · 3 citations
Computer Science · #Advanced Algebra and Logic #Logic, programming, and type systems #semigroups and automata theory
- On the Role of the Law of Large Numbers in the Theory of Randomness
2003/01/01 by An. A. Muchnik, A. L. Semenov · 1 citation
Computer Science · Mathematics · #Benford’s Law and Fraud Detection #Computability, Logic, AI Algorithms #Mathematical Dynamics and Fractals
- Decidability of monadic theories
2006/01/25 by A. L. Semenov · 1 citation
Computer Science · #Cellular Automata and Applications #Computability, Logic, AI Algorithms #semigroups and automata theory