Equational Logic, Term Rewriting Systems, and Extensions Thereof

Giuseppe Scollo (Invited speaker)

    Activity: Talk or presentationOral presentation

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