Nominal anti-unification modulo equational theories

This paper investigates nominal anti-unification, i.e., the problem of computing least general generalizations of terms in the presence of binding structures and freshness constraints. We extend this problem to account for equational theories, specifically associativity (A), commutativity (C), and t...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of logical and algebraic methods in programming Ročník 149; s. 101100
Hlavní autoři:	Baumgartner, Alexander, Nantes-Sobrinho, Daniele
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.03.2026
Témata:	Anti-unification Binding constructs Equational theories Nominal techniques Binding constructs Equational theories Anti-unification Nominal techniques
ISSN:	2352-2208
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!