notre_dame_de_la_garde.jpeg

Two-Variable Logics with Equivalence Relations: From NP to 2NExpTime and Undecidability

  • Emanuel Kieroński

Schedule

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

Attachments