The following pages link to (Q3560845):
Displaying 3 items.
- 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)
- QBF Encoding of Temporal Properties and QBF-Based Verification (Q3192192) (← links)