View in EDS

Termination of rewriting on reversible Boolean circuits as a free 3-category problem.

Saved in:
Bibliographic Details
Title: Termination of rewriting on reversible Boolean circuits as a free 3-category problem.
Authors: Barile, Adriano1, adriano.barile@unito.it, Berardi, Stefano1, stefano.berardi@unito.it, Roversi, Luca1, luca.roversi@unito.it
Source: Theoretical Computer Science; Feb2025, Vol. 1028, pN.PAG-N.PAG, 1p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first