chateau_d_if.jpeg

Certifying Exact Complexity Bounds for Matrix Interpretations

  • Jose Divasón
  • Sebastiaan Joosten
  • Ondřej Kunčar
  • René Thiemann
  • Akihisa Yamada

Schedule

  • Sept. 2, 2016, 10:30 - 12:30

Attachments