Skip to main content

Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra

Breadcrumb

  1. Home
  2. Publications
Author
Yuxiang Peng
Mingsheng Ying
Xiaodi Wu
Year of Publication
2022
Conference Name
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Date Published
06/2022
Publisher
ACM
URL
https://arxiv.org/abs/2110.07018
DOI
10.1145/3519939.3523713
  • DOI
  • Google Scholar
Group
QuICS
Wu Research Group