chateau_d_if.jpeg

The logical strength of the Büchi’s decidability theorem

  • Leszek Kołodziejczyk
  • Henryk Michalewski
  • Pierre Pradic
  • Michał Skrzypczak

Schedule

  • Sept. 1, 2016, 14:00 - 16:00(Complexity and decision for logical theories session)

Attachments