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

Related content

• Projects

• An anti-unification-based framework for semantic clone detection in Constrained Horn Clauses.

  Project: PHD

• Research output

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

  Research output: Contribution to conference › Paper

• Activities

• Grascomp Doctoral Day

  Activity: Participating in or organising an event types › Participation in conference