13 citations · 50 across the 19 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…