Semenov Aleksei Lvovich

Presentations in Math-Net.Ru

1. Examples and problems for definability lattices
   A. L. Semenov
   Seminars "Proof Theory" and "Logic Online Seminar"
   May 16, 2023 18:30   
2. Welcome speech
   A. L. Semenov
   International Conference "Strategies for higher educational results"
   October 7, 2015 10:00   
3. Qualitative theory of algorithms
   A. L. Semenov
   Summer School "Contemporary Mathematics", 2012
   July 21, 2012 12:45   
4. The lattice of relational algebras definable in integers with successor
   Aleksei Semenov, Sergei Soprunov
   International workshop "Logical Models of Reasoning and Computation"
   February 3, 2012 12:45   
5. Modal logics
   A. L. Semenov
   Summer School "Contemporary Mathematics", 2011
   July 23, 2011 12:45   
6. Proof of impossibility in mathematical logic and theory of algorithms
   A. L. Semenov
   Summer School "Contemporary Mathematics", 2010
   July 23, 2010 12:45