Anti-unification of Unordered Goals

Related content

• Research output

• Anti-unification of Unordered Goals

  Research output: Contribution to conference › Paper › peer-review

• Activities

• Computer Science Logic 2022

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

• Projects

• Algorithmic equivalence by generalization-driven transformations of logic programs

  Project: PHD