Keyword:higher-order unification

Publications
Higher-Order Unification from E-Unification with Second-Order Equations and Parametrised Metavariables Nikolai Kudasov EasyChair Preprint 8680
Bounded Higher-order Unification using Regular Terms Tomer Libal In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification