نتایج جستجو برای: order
تعداد نتایج: 908169 فیلتر نتایج به سال:
Journal:
:Proceedings of the American Mathematical Society
2007
2008
Santiago Escobar
José Meseguer
Pedro Ojeda
Generalization, also called anti-unification, is the dual of unification. Given terms t and t′, a generalization is a term t′′ of which t and t′ are substitution instances. The dual of a most general unifier (mgu) is that of least general generalization (lgg). In this work, we extend the known untyped generalization algorithm to an order-sorted typed setting with sorts, subsorts, and subtype po...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید