calanques_sugiton.jpeg

Completeness for coalgebraic fixpoint logic

  • Sebastian Enqvist
  • Fatemeh Seifan
  • Yde Venema

Schedule

  • Aug. 29, 2016, 10:30 - 12:30(Algebra session)

Attachments