PLQP \& Company: decidable logics for quantum algorithms (Q472733): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10773-013-1987-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2069477494
@@ Property / OpenAlex ID: W2069477494 / rank @@
+Normal rank
@@ Property / cites work @@
+LQP: the dynamic logic of quantum information
@@ Property / cites work: LQP: the dynamic logic of quantum information / rank @@
+Normal rank
@@ Property / cites work @@
+Correlated knowledge: an epistemic-logic view on quantum entanglement
+Normal rank
@@ Property / cites work @@
+Quantum logic as a dynamic logic
@@ Property / cites work: Quantum logic as a dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Correlated Information: A Logic for Multi-Partite Quantum Systems
+Normal rank
@@ Property / cites work @@
+The dynamic turn in quantum logic
@@ Property / cites work: The dynamic turn in quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Reasoning in quantum theory. Sharp and unsharp quantum logics.
+Normal rank
@@ Property / cites work @@
+Quantum logic as motivated by quantum computing
@@ Property / cites work: Quantum logic as motivated by quantum computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5756997
@@ Property / cites work: Q5756997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional quantifiers in modal logic1
@@ Property / cites work: Propositional quantifiers in modal logic1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3522570
@@ Property / cites work: Q3522570 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Computation and Quantum Information
@@ Property / cites work: Quantum Computation and Quantum Information / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792485
@@ Property / cites work: Q5792485 / rank @@
+Normal rank