Pages that link to "Item:Q1942174"
From MaRDI portal
The following pages link to State-dependent implication and equivalence in quantum logic (Q1942174):
Displaying 3 items.
- Classical logic and quantum logic with multiple and common lattice models (Q504691) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Quantum State Transformations and Branching Distributed Temporal Logic (Q2938127) (← links)