3 citations · 8 across the 12 of their papers we have counts for
1 paper · 1 filter
Jochen Burghardt
E-generalization computes common generalizations of given ground terms w.r.t. a given equational background theory E. In 2005 [arXiv:1403.8118], we had presented a computation appr…