共 142 条
[2]
Aaronson S, 2015, ACM S THEORY COMPUT, P307, DOI [10.1137/15M1050902, 10.1145/2746539.2746547]
[3]
Aharonov D., 1997, PROC ACM S THEORY CO, P176, DOI DOI 10.1145/258533.258579
[4]
Aleksandrowicz G., 2019, TECH REP, DOI [10.5281/zenodo.2562111, DOI 10.5281/ZEN0D0.2562111]
[6]
Verified Compilation of Space-Efficient Reversible Circuits
[J].
COMPUTER AIDED VERIFICATION (CAV 2017), PT II,
2017, 10427
:3-21
[9]
[Anonymous], 2017, QISK TERR
[10]
[Anonymous], 1910, T R SOC LOND A, DOI DOI 10.1098/RSTA.1911.0009