Persisting individuals and modal logic. Towards case-intensional branching time logic

  • Thomas Mueller (Invited speaker)

    Activity: Talk or presentation › Invited talk › Popular

    Period4 Mar 2011
    Event titleDIP Colloquium, Universiteit van Amsterdam (Amsterdam)
    Event typeSeminar