Visualitzant Departament d'Informàtica, Matemàtica Aplicada i Estadística per autor "Baumgartner, Alexander"
​ ​ ​ ​

A Variant of Higher-Order Anti-Unification

Higher-Order Pattern Anti-Unification in Linear Time