BARILE, ADRIANO
BARILE, ADRIANO
INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
A METHODOLOGICAL ANALYSIS OF CIRCUIT-BASED QUANTUM AND REVERSIBLE COMPUTING
2025-09-18
Termination of Rewriting on Reversible Boolean Circuits as a free 3-Category problem
2023-01-01 Adriano Barile, Stefano Berardi, Luca Roversi
Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
2025-01-01 adriano barile; stefano berardi; luca roversi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A METHODOLOGICAL ANALYSIS OF CIRCUIT-BASED QUANTUM AND REVERSIBLE COMPUTING | 2025 | - | |
| Termination of Rewriting on Reversible Boolean Circuits as a free 3-Category problem | 2023 | Adriano Barile, Stefano Berardi, Luca Roversi | |
| Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem | 2025 | adriano barile; stefano berardi; luca roversi |