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...

Full description

Bibliographic Details

Published in:	Journal of logical and algebraic methods in programming Vol. 149; p. 101100
Main Authors:	Baumgartner, Alexander, Nantes-Sobrinho, Daniele
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.03.2026
Subjects:	Anti-unification Binding constructs Equational theories Nominal techniques Binding constructs Equational theories Anti-unification Nominal techniques
ISSN:	2352-2208
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!