Talks
Spring 2023

Read-Once Branching Programs as Proof Lines
Thursday, March 23rd, 2023, 3:30 pm–4:00 pm
Speaker:
Dmitry Itsykson (Ben-Gurion University of the Negev)
Location:
Calvin Lab Auditorium
No abstract available.