Anti-unification of Unordered Goals

Gonzague Yernaux, Wim Vanhoof

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

52 Downloads (Pure)

1 Participation in conference
1 Oral presentation

1 results
- Title
- Start date(ascending)

Filter

Anti-unification of Unordered Goals
Gonzague Yernaux (Speaker)
18 Feb 2022
Activity: Talk or presentation types › Oral presentation