On the termination of Russell's description elimination algorithm

  • Vincent van Oostrom (Invited speaker)

    Activity: Talk or presentation › Invited talk › Popular

    Period19 Nov 2009
    Event titleTeReSe2009 (Utrecht)
    Event typeSeminar

    Documents & Links