|
|
Download PDFOpen PDF in browserUnification and Anti-unification modulo Equational Theories1 pages•Published: July 29, 2013AbstractAutomated reasoning modulo an equational theory E is a fundamental technique in many applications. In this talk, we would present a narrowing-based equational unification algorithm for theories satisfying the finite variant property. We also talk about equational generalization, also called anti-unification In: Konstantin Korovin and Barbara Morawska (editors). UNIF 2013. 27th International Workshop on Unification, vol 19, pages 1. Download PDFOpen PDF in browser |
|
|