An experiment with anthem: semantic equivalence of tiling programs

DOI10.1007/978-3-032-04587-4_22MaRDI QIDQ6884734zbMATH OpenFDO

Authors Vladimir Lifschitz

Publication date 15 December 2025

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

This page was built for publication: An experiment with anthem: semantic equivalence of tiling programs

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