Title | Citations | PageRank | Year |
---|---|---|---|
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. | 0 | 0.34 | 2021 |
A Logic for Recursive Quantum Programs. | 0 | 0.34 | 2018 |
A New Perspective for Hoare's Logic and Peano's Arithmetic. | 0 | 0.34 | 2013 |