Infinitary Term Rewriting

  • Vincent van Oostrom (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period17 Jun 2010 → …
    Event titleWorkshop Numeration
    Event typeOther
    LocationLorentz Center, LeidenShow on map