EasyChair Smart SlideUser guide
Conference: UNIF 2022 (36th International Workshop on Unification)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Fuzzy Order-Sorted Feature Term Unification

Fuzzy Order-Sorted Feature Term Unification

Gian Carlo Milanese and Gabriella Pasi

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

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)

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

Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall and Christophe Ringeissen

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair