A certified algorithm for AC-unification

DOI10.4230/LIPICS.FSCD.2022.8MaRDI QIDQ6544100FDOQ6544100

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

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)