Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra

Publication Details

Authors

Publication Type

Conference Paper

Year of Publication

2022

Date Published

06/2022

Pagination

657–670

DOI

10.1145/3519939.3523713

URL

https://arxiv.org/abs/2110.07018