Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq.
In: J. Circuits Syst. Comput., Jg. 33 (2024), Heft 6, S. 1-25
academicJournal
Zugriff:
Titel: |
Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq.
|
---|---|
Autor/in / Beteiligte Person: | Shi, Wenjun ; Cao, Qinxiang ; Deng, Yuxin |
Link: | |
Zeitschrift: | J. Circuits Syst. Comput., Jg. 33 (2024), Heft 6, S. 1-25 |
Veröffentlichung: | 2024 |
Medientyp: | academicJournal |
DOI: | 10.1142/S0218126624501123 |
Sonstiges: |
|