Das Anupam

Presentations in Math-Net.Ru

1. Lecture 4. Bounded Arithmetic and Proof Complexity
   A. Das
   Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
   September 28, 2023 16:00   
2. Lecture 3. Bounded Arithmetic and Proof Complexity
   A. Das
   Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
   September 27, 2023 16:00   
3. Lecture 2. Bounded Arithmetic and Proof Complexity
   A. Das
   Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
   September 21, 2023 16:00   
4. Lecture 1. Bounded Arithmetic and Proof Complexity
   A. Das
   Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
   September 20, 2023 16:00   
5. Computational expressivity of (circular) proofs with fixed points
   A. Das
   Seminars "Proof Theory" and "Logic Online Seminar"
   September 18, 2023 18:30