Pages that link to "Item:Q2123052"
From MaRDI portal
The following pages link to Formal semantics of a classical-quantum language (Q2123052):
Displaying 8 items.
- Compositional and holistic quantum computational semantics (Q885682) (← links)
- Grammar theory based on quantum logic (Q1421575) (← links)
- A proof system for disjoint parallel quantum programs (Q2055965) (← links)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
- Quantum programs with classical output streams (extended abstract) (Q2864174) (← links)
- A hierarchy of quantum semantics (Q2864503) (← links)
- (Q4508561) (← links)
- GRADATIONAL ACCURACY AND NONCLASSICAL SEMANTICS (Q4899959) (← links)