Löb's Logic meets the mu-calculus

    Activity: Talk or presentation › Invited talk › Popular

    Period27 Mar 2008
    Event titleLezing voor Modal Fixpoint Logics (Amsterdam)
    Event typeSeminar