17 citations · 46 across the 16 of their papers we have counts for
1 paper · 1 filter
David M. Cerna, Temur Kutsia
We consider anti-unification for simply typed lambda terms in associative, commutative, and associative-commutative theories and develop a sound and complete algorithm which takes…