Adequate and computational encodings in the logical framework Dedukti
From MaRDI portal
Publication:6544121
DOI10.4230/LIPICS.FSCD.2022.25MaRDI QIDQ6544121
Publication date: 27 May 2024
Related Items (1)
This page was built for publication: Adequate and computational encodings in the logical framework Dedukti
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544121)
