Talks
Spring 2023
Unprovability of Complexity Bounds in Bounded Arithmetic
Tuesday, March 21st, 2023, 11:00 am–11:30 am
Speaker:
Igor Oliveira (University of Warwick)
Location:
Calvin Lab Auditorium
No abstract available.
