Login / Signup
Adriano Barile
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Quantifier Elimination
Boolean Functions
Termination Analysis
Rewriting Rules
Top Venues
ICTCS
CoRR
</>
Publications
</>
Adriano Barile
,
Stefano Berardi
,
Luca Roversi
Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem.
CoRR
(2024)
Adriano Barile
,
Stefano Berardi
,
Luca Roversi
Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem.
ICTCS
(2023)