Predicate Anti-unification in (Constraint) Logic Programming

Related content

• Activities

• 33rd International Symposium on Logic-based Program Synthesis and Transformation

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

• Projects

• Algorithmic equivalence by generalization-driven transformations of logic programs

  Project: PHD

• Research output

• Predicate Anti-unification in (Constraint) Logic Programming

  Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution