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

Yernaux, G. (Speaker)

Activity: Talk or presentation types › Oral presentation

Period	22 Nov 2019
Event title	Grascomp Doctoral Day
Event type	Conference
Location	Namur, BelgiumShow on map
Degree of Recognition	National

Related content

Projects
Algorithmic equivalence by generalization-driven transformations of logic programs
Project: PHD

Activities
Grascomp Doctoral Day
Activity: Participating in or organising an event types › Participation in conference

Research output
Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming
Research output: Contribution to conference › Paper