Equational Logic, Term Rewriting Systems, and Extensions Thereof

  • Giuseppe Scollo (Invited speaker)

    Activity: Talk or presentation › Oral presentation

    Period3 May 1995
    Held atUniversity of Catania, Italy
    Degree of RecognitionInternational