A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
Anti-unification aims at computing generalizations for given terms, retaining their common structure and abstracting differences by variables. We study anti-unification for full fuzzy signatures, where the notion of common structure is relaxed into a "proximal" one with respect to a given proximity relation. Mismatches between both symbol names and their arities are permitted. We develop algorithms for different cases of the problem and study their properties.doi:10.35011/risc.21-09 fatcat:q3kkcvouuzgfhn2bpst37atnwu