2 citations · 2 across the 2 of their papers we have counts for
1 paper · 2 filters
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…