RUS  ENG
Full version
PEOPLE

Kalimullin Iskander Shagitovich

Presentations in Math-Net.Ru

  1. Punctual structures, automatic structures and index sets. Part 2
    N. A. Bazhenov, I. Sh. Kalimullin
    Seminars "Proof Theory" and "Logic Online Seminar"
    April 8, 2024 18:30   
  2. Punctual structures, automatic structures and index sets. Part 1
    N. A. Bazhenov, I. Sh. Kalimullin
    Seminars "Proof Theory" and "Logic Online Seminar"
    April 1, 2024 18:30   
  3. The degrees of relative computable categoricity
    I. Sh. Kalimullin
    Seminars "Proof Theory" and "Logic Online Seminar"
    April 11, 2023 18:30   
  4. Computable families of sets and numberings
    Iskander Kalimullin
    Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
    October 27, 2022 18:05   
  5. Primitive recursive and automatic structures
    N. A. Bazhenov, I. Sh. Kalimullin
    Adian 90: Conference on Mathematical Logic, Algebra, and Computation
    July 7, 2021 11:30   


© Steklov Math. Inst. of RAS, 2024