EasyChair Smart SlideUser guide
Author: Nikolai Kudasov

This page shows all presentations of this author published in EasyChair Smart Slide.

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

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