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

Adriano Barile, Stefano Berardi, Luca Roversi

Reversible Boolean Circuits are an interesting computational model under many aspects and in different fields, ranging from Reversible Computing to Quantum Computing. Our contribut…