Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Das, Anupam
Statistics Math-Net.Ru
Presentations: 5

Number of views:
This page:53
E-mail:
Website: https://www.anupamdas.com/

https://www.mathnet.ru/eng/person201103
List of publications on Google Scholar
List of publications on ZentralBlatt

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   

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024