Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem

arXiv2401.02091MaRDI QIDQ6516094FDOQ6516094

Authors: Adriano Barile, Stefano Berardi, Luca Roversi 

This page was built for publication: Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem

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