Nominal Anti-Unification

DOI10.4230/LIPIcs.RTA.2015.57zbMath1366.68106OpenAlexW251367185MaRDI QIDQ5277871

Jordi Levy, Temur Kutsia, Alexander Baumgartner, Mateu Villaret

Publication date: 12 July 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.RTA.2015.57

zbMATH Keywords

equivariancenominal anti-unificationterm-in-context

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42)

Related Items

Higher-order pattern anti-unification in linear time, A Library of Anti-unification Algorithms, A Certified Functional Nominal C-Unification Algorithm