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

zbMATH Keywords

generalizationanti-unificationhigher-order deductionnominal algorithms

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(1)

• One or nothing: anti-unification over the simply-typed lambda calculus

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)