A Formalization of Abstract Rewriting in Agda

MaRDI QIDQ7221982arXivFDO

Authors Sam Arkle, Andrew Polonsky

Publication date 2026

Published in arXiv

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

arXiv classification

cs.LO

This page was built for publication: A Formalization of Abstract Rewriting in Agda

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