Algorithmic equivalence by generalization-driven transformations of logic programs

Yernaux, Gonzague (PI)
Vanhoof, Wim (Supervisor)

Project: PHD

5 Oral presentation
1 Participation in conference

1 results
- Title(descending)
- Start date

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