calanques_sugiton.jpeg

The height of piecewise-testable languages with applications in logical complexity

  • Prateek Karandikar
  • Philippe Schnoebelen

Schedule

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

Attachments