Skip to main navigation Skip to search Skip to main content

Unification in modal and intermediate logics (lecture)

    Activity: Talk or presentation › Invited talk › Academic

    Period13 Jun 2012
    Event titlePisa Summer Workshop on Proof Theory
    Event typeOther
    LocationPisaShow on map