Pages that link to "Item:Q5718663"
From MaRDI portal
The following pages link to Quantum logic as motivated by quantum computing (Q5718663):
Displaying 8 items.
- Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing (Q358690) (← links)
- Decidability of the equational theory of the continuous geometry \(\mathrm{CG}(\mathbb F)\) (Q358692) (← links)
- PLQP \& Company: decidable logics for quantum algorithms (Q472733) (← links)
- Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras (Q609641) (← links)
- Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics (Q1036536) (← links)
- First-order frames for orthomodular quantum logic (Q4586154) (← links)
- On the equational theory of projection lattices of finite von neumann factors (Q4931110) (← links)
- <i>QL</i>(ℂ<sup><i>n</i></sup>) determines <i>n</i> (Q5444694) (← links)
