Anti-unification of Unordered Goals

Activity: Talk or presentation typesOral presentation

Period18 Feb 2022
Event titleComputer Science Logic 2022
Event typeConference
LocationGöttingen, GermanyShow on map
Degree of RecognitionInternational