On the termination of Russell's description elimination algorithm

  • Vincent van Oostrom (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period18 Mar 2010 → …
    Event titleComputer Science Internal Seminars, University of Leicester
    Event typeOther
    LocationLeicesterShow on map