Generalizing Generalization: towards a framework for anti-unification in Logic Programming

Yernaux, G. (Speaker)

Activity: Talk or presentation typesOral presentation

Period22 Nov 2019
Event typeConference
LocationNamur, Belgium
Degree of RecognitionNational