Anti-unification of Unordered Goals

Activity: Talk or presentation typesOral presentation

Period18 Feb 2022
Event titleComputer Science Logic 2022
Event typeConference
LocationGöttingen, Germany
Degree of RecognitionInternational