A Variant of Higher-Order Anti-Unification
From MaRDI portal
Publication:2958379
DOI10.4230/LIPIcs.RTA.2013.113zbMath1356.68117OpenAlexW2148628553MaRDI QIDQ2958379
Alexander Baumgartner, Mateu Villaret, Jordi Levy, Temur Kutsia
Publication date: 1 February 2017
Full work available at URL: https://doi.org/10.4230/lipics.rta.2013.113
Related Items (6)
Higher-order pattern anti-unification in linear time ⋮ Unranked second-order anti-unification ⋮ A Library of Anti-unification Algorithms ⋮ Unnamed Item ⋮ Higher-order pattern generalization modulo equational theories ⋮ A Generic Framework for Higher-Order Generalizations.
This page was built for publication: A Variant of Higher-Order Anti-Unification