Anti-unification of Unordered Goals

Yernaux, G. (Speaker)

Research Group on the Foundations of Computer Science

Activity: Talk or presentation types › Oral presentation

Period	18 Feb 2022
Event title	Computer Science Logic 2022
Event type	Conference
Location	Göttingen, GermanyShow on map
Degree of Recognition	International

Related content

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

Research output
Anti-unification of Unordered Goals
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution