Adriano Barile, Stefano Berardi, Luca Roversi. Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem. In Giuseppa Castiglione, Marinella Sciortino, editors, Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. Volume 3587 of CEUR Workshop Proceedings, pages 31-43, CEUR-WS.org, 2023. [doi]
@inproceedings{BarileBR23, title = {Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem}, author = {Adriano Barile and Stefano Berardi and Luca Roversi}, year = {2023}, url = {https://ceur-ws.org/Vol-3587/5208.pdf}, researchr = {https://researchr.org/publication/BarileBR23}, cites = {0}, citedby = {0}, pages = {31-43}, booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023}, editor = {Giuseppa Castiglione and Marinella Sciortino}, volume = {3587}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }