Pages that link to "Item:Q2868454"
From MaRDI portal
The following pages link to Quantum Process Calculus for Linear Optical Quantum Computing (Q2868454):
Displaying 4 items.
- On the formal analysis of Gaussian optical systems in HOL (Q315313) (← links)
- A modeling and verification framework for optical quantum circuits (Q2418045) (← links)
- Equational Reasoning About Quantum Protocols (Q2822505) (← links)
- Encodability criteria for quantum based systems (Q6563052) (← links)
