Nominal anti-unification with atom-variables

DOI10.4230/LIPICS.FSCD.2022.7MaRDI QIDQ6544099zbMATH OpenFDO

Authors Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho

Publication date 27 May 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2022.7

zbMATH Keywords

anti-unificationgeneralizationhigher-order deductionnominal algorithms

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(5)

• One or nothing: anti-unification over the simply-typed lambda calculus
• Nominal anti-unification modulo equational theories
• Equational generalization problems with atom-variables
• A nominal approach to equational problems in languages with binders
• Equational anti-unification over absorption theories

This page was built for publication: Nominal anti-unification with atom-variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544099)