Accepted Papers
-
David M. Cerna and Chad Brown, Higher-Order Unification with Definition by Cases
Paper
- Nikolai Kudasov, Higher-order unification from E-unification with
second-order equations and parametrised metavariables
Paper
- Gian Carlo Milanese and Gabriella Pasi, Fuzzy Order-Sorted Feature Term Unification
Paper
- Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, and
Christophe Ringeissen, Graph-Embedded Term Rewrite Systems and Applications
(A Preliminary Report)
Paper
- Manfred Schmidt-Schauß and Daniele Nantes-Sobrinho, Nominal Anti-Unification of Letrec-Expressions
Paper
- Franz Baader and Oliver Fernández Gil, Restricted Unification in the Description Logic FL_{⊥}
Paper
Proceedings
To Be Announced.