This page shows all presentations from this conference published in EasyChair Smart Slide.
Formalising Nominal AC-Unification (Online Talk)
Gabriel Ferreira Silva