A certified algorithm for AC-unification

DOI10.4230/LIPICS.FSCD.2022.8MaRDI QIDQ6544100zbMATH OpenFDO

Authors Mauricio Ayala-Rincón, Maribel Fernández, G. F. Silva, Daniele Nantes-Sobrinho

Publication date 27 May 2024

zbMATH Keywords

formal methodsinteractive theorem provingPVSAC-unificationcertified algorithms

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: A certified algorithm for AC-unification

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