3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Jochen Burghardt, Birgit Heinz
We present an implementation of E-anti-unification as defined in Heinz (1995), where tree-grammar descriptions of equivalence classes of terms are used to compute generalizations m…