Survey Lecture: Provenance Analysis for Logic and Games and/or Logics of Imperfect Information

Thursday, 07.06.2018, 4:00pm

Location: RWTH Aachen University, Department of Computer Science - Ahornstr. 55, building E2, B-IT, room 5053.2

Speaker: Erich Grädel