Anti-unification of Unordered Goals

Yernaux, G. (Speaker)

Research Center 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

Projects
An anti-unification-based framework for semantic clone detection in Constrained Horn Clauses.
Project: PHD

Activities
Computer Science Logic 2022
Activity: Participating in or organising an event types › Participation in conference

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