Skip to main navigation Skip to search Skip to main content

Reasoning and Computation with Dynamic Logic

  • Jan van Eijck (Invited speaker)

Activity: Talk or presentation › Invited talk › Academic

Period10 Jul 2000
Event titleFestival Workshop in Foundations and Computation
Event typeOther
LocationEdinburgh, UKShow on map