Search

Jianxin Chen's Homepage

Jianxin Chen's Homepage

Home
Posts
Projects
Talks
Publications
Contact
CV

Light Dark Automatic

Super-operator

Commutativity of quantum weakest preconditions

Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan

© 2024 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite