calanques_sugiton.jpeg

Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs

  • Kord Eickmeyer
  • Ken-Ichi Kawarabayashi

Schedule

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

Attachments