chateau_d_if.jpeg

Proof Complexity of Deep Inference: a Survey

  • Anupam Das

Schedule

  • Sept. 2, 2016, 15:00 - 16:00

Attachments