Vol-3586⫷ Vol-3587 ⫸Vol-3588
urn:nbn:de:0074-3587-0


Vol-3587/4168⫷Vol-3587/5208⫸Vol-3587/7265
Adriano BarileStefano BerardiLuca Roversi

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