FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Higher-Order Unification from E-Unification with Second-Order Equations and Parametrised Metavariables

Nikolai Kudasov

Graph-Embedded Term Rewrite Systems and Applications (a Preliminary Report)

Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall and Christophe Ringeissen
Total: 2 presentations.