Nominal anti-unification with atom-variables

DOI10.4230/LIPICS.FSCD.2022.7MaRDI QIDQ6544099FDOQ6544099

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)