Pages that link to "Item:Q3534212"
From MaRDI portal
The following pages link to QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS (Q3534212):
Displaying 7 items.
- Model checking quantum Markov chains (Q394340) (← links)
- Quantum protocols for zero-knowledge systems (Q967279) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Certified quantum computation in Isabelle/HOL (Q2666954) (← links)
- Model-Checking Linear-Time Properties of Quantum Systems (Q2946731) (← links)
- Techniques for Formal Modelling and Analysis of Quantum Systems (Q4922086) (← links)
- Model Checking Quantified Computation Tree Logic (Q5756604) (← links)