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

From MaRDI portal

Publication:6516094

Jump to:navigation, search

MaRDI QIDQ6516094arXivFDO

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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6516094&oldid=37990081"