Gómez, Wilmer Andrés; Aranda-Camacho, Yesid; Barrientos Fuentes, Juan Carlos(Universitat Politècnica de València, 2020-06-01)
[EN] The analytical network process (ANP) was used to analyze the functionality of small farmers’ organizations; 12 experts were consulted to verify the relevance and assign value comparative judgments to the criteria´s ...
[EN] Generalization, also called anti-unification, is the dual of unification. A generalizer of two terms t and t' is a term t '' of which t and t' are substitution instances. The dual of most general equational unifiers ...