Das Anupam

Доклады и лекции в базе данных Math-Net.Ru

1. Lecture 4. Bounded Arithmetic and Proof Complexity
   A. Das
   Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
   28 сентября 2023 г. 16:00   
2. Lecture 3. Bounded Arithmetic and Proof Complexity
   A. Das
   Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
   27 сентября 2023 г. 16:00   
3. Lecture 2. Bounded Arithmetic and Proof Complexity
   A. Das
   Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
   21 сентября 2023 г. 16:00   
4. Lecture 1. Bounded Arithmetic and Proof Complexity
   A. Das
   Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
   20 сентября 2023 г. 16:00   
5. Computational expressivity of (circular) proofs with fixed points
   A. Das
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   18 сентября 2023 г. 18:30