Anti-unification of Unordered Goals

Gonzague Yernaux, Wim Vanhoof

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

53 Downloads (Pure)

1 Participation in conference
1 Oral presentation

1 results
- Title
- Start date(descending)

Filter

Computer Science Logic 2022
Gonzague Yernaux (Participant) & Wim VANHOOF (Participant)
14 Feb 2022 → 19 Feb 2022
Activity: Participating in or organising an event types › Participation in conference