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