Large objects in modal logics

  • J.J. Joosten (Invited speaker)

    Activity: Talk or presentationInvited talkAcademic

    Period11 Jan 2006
    Event title2006 Prague-Vienna workshop on proof theory and proof complexity
    Event typeOther
    LocationPrague; Czech RepublicShow on map