chateau_d_if.jpeg

Monadic second order finite satisfiability and unbounded tree-width

  • Tomer Kotek
  • Helmut Veith
  • Florian Zuleger

Schedule

  • Aug. 29, 2016, 14:00 - 16:00(Verification, finite models session)

Attachments