Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Das, Anupam
Statistics Math-Net.Ru
Presentations:
5
Number of views:
This page:
53
E-mail:
email
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
University of Birmingham
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024