calanques_sugiton.jpeg

Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time

  • Svenja Schalthöfer
  • Wied Pakusa
  • Aziz Erkal Selman

Schedule

  • Aug. 30, 2016, 10:30 - 12:30(Finite models, Descriptive complexity session)

Attachments