chateau_d_if.jpeg

One Dimensional Logic over Words

  • Emanuel Kieronski

Schedule

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

Attachments